Skip to main navigation Skip to search Skip to main content

A theory of type theories

Project Details

Short titleA theory of type theories
StatusFinished
Effective start/end date1/03/20 → 31/08/22

Funding

  • Engineering & Physical Science Research Council

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
  • 2 Article
  • 1 Conference contribution

  • Bicategorical type theory: semantics and syntax

    Ahrens, B., North, P. R. & van der Weide, N., 17 Oct 2023, (E-pub ahead of print) In: Mathematical Structures in Computer Science.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File
    125 Downloads (Pure)

  • B-systems and C-systems are equivalent

    Ahrens, B., Emmenegger, J., North, P. R. & Rijke, E., 29 Jun 2023, (E-pub ahead of print) In: Journal of Symbolic Logic.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File
    98 Downloads (Pure)

  • Semantics for two-dimensional type theory

    Ahrens, B., North, P. R. & Van Der Weide, N., 4 Aug 2022, LICS '22: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery (ACM), (LICS: Logic in Computer Science).

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

    Open Access
    File
    80 Downloads (Pure)