A categorical version of the Brouwer–Heyting–Kolmogorov interpretation
Mathematical Structures in Computer Science
Towards Formalizing Categorical Models of Type Theory in Type Theory
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
The biequivalence of locally cartesian closed categories and Martin-Löf type theories
TLCA'11 Proceedings of the 10th international conference on Typed lambda calculi and applications
A Categorical Treatment of Ornaments
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Hi-index | 0.00 |