A theory of type theories

Ahrens, Benedikt (Principal Investigator)

Computer Science

2 Article
1 Conference contribution

3 results

2023
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
3 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
25 Downloads (Pure)
2022
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