Skip to main navigation Skip to search Skip to main content

Compositional Normalisation with Modal Types

Project Details

StatusActive
Effective start/end date1/03/24 → 28/02/27

Funding

  • Royal Society: £473,628.36

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
View full fingerprint
  • 1 Conference contribution

  • Lax modal lambda calculi

    Valliappan, N., 18 Feb 2026, Proceedings of the 34th EACSL Annual Conference on Computer Science Logic. Guerrini, S. & König, B. (eds.). Saarbrücken/Wadern, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 46:1-46:20 20 p. 46. (Leibniz International Proceedings in Informatics; vol. 363).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File