DetailsThe Groupoid Interpretation of Type Theory (1996) Martin Hofmann, Thomas Streicher
5 documents cite this article.
Citing documents:
DetailsType Systems For Polynomial-Time Computation (1998) Martin Hofmann
DetailsExtensional Equality in Intensional Type Theory (1999) Thorsten Altenkirch
DetailsType Theories, Toposes and Constructive Set Theory: Predicative Aspects of AST Ieke Moerdijk, Erik Palmgren Type Theories, Toposes and Constructive Set Theory: Predicative Aspects
DetailsGroupoids and Local Cartesian Closure (2003) Erik Palmgren