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

View PDF

Download Links

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

Active Bibliography

Names and Binding in Type Theory – unknown authors
42 Syntax and Semantics of Dependent Types – Martin Hofmann - 1997
21 Developing Theories of Types and Computability via Realizability – Lars Birkedal - 2000
Part II Local Realizability Toposes and a Modal Logic for – unknown authors
17 A Simple Model for Quotient Types – Martin Hofmann - 1995
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
467 Comprehending Monads – Philip Wadler - 1992
93 Categorical Logic – Andrew M. Pitts - 1995
40 Internal Type Theory – Peter Dybjer - 1996