On the Interpretation of Type Theory in Locally Cartesian Closed Categories (1994)

Cached

Download Links

by Martin Hofmann
Venue:Proceedings of Computer Science Logic, Lecture Notes in Computer Science
Citations:39 - 1 self

Active Bibliography

Part II Local Realizability Toposes and a Modal Logic for – unknown authors
20 Developing Theories of Types and Computability via Realizability – Lars Birkedal - 2000
40 Syntax and Semantics of Dependent Types – Martin Hofmann - 1997
17 A Simple Model for Quotient Types – Martin Hofmann - 1995
36 Internal Type Theory – Peter Dybjer - 1996
5 Formalizing categorical models of type theory in type theory – Alexandre Buisse, Peter Dybjer - 2007
88 Categorical Logic – Andrew M. Pitts - 1995
20 Homotopy theoretic models of identity types – Steve Awodey, Michael A. Warren - 2008
23 A Category-Theoretic Account of Program Modules – Eugenio Moggi - 1994
1 Categorical Logic – S. Abramsky, D. M. Gabbay, T. S. E. Maibaum (eds, Andrew M. Pitts, Andrew M. Pitts - 2001
2 Proof-search in type-theoretic languages: an introduction – Didier Galmiche, David J. Pym - 2000
2 Formalising formulas-as-types-as-objects – Qiao Haiyan - 2000
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
2 A categorical version of the Brouwer-Heyting-Kolmogorov interpretation – Erik Palmgren - 2002
The Interpretation of Inuitionistic . . . – Alexandre Buisse, Peter Dybjer - 2008
37 Wellfounded Trees in Categories – Ieke Moerdijk, Erik Palmgren, Ieke Moerdijk (utrecht - 1999
31 Equilogical Spaces – Andrej Bauer, Lars Birkedal, Dana S. Scott - 1998
1 Categorical Properties of Logical Frameworks – Yuxi Fu, Yuxi Fu - 1993
1 Communication Algebras – Michal Walicki, Magne Haveraaen, Sigurd Meldal - 1996