|
|
Part II Local Realizability Toposes and a Modal Logic for
– unknown authors
|
|
18
|
Developing Theories of Types and Computability via Realizability
– Lars Birkedal
- 2000
|
|
37
|
Syntax and Semantics of Dependent Types
– Martin Hofmann
- 1997
|
|
15
|
A Simple Model for Quotient Types
– Martin Hofmann
- 1995
|
|
4
|
Formalizing categorical models of type theory in type theory
– Alexandre Buisse, Peter Dybjer
- 2007
|
|
33
|
Internal Type Theory
– Peter Dybjer
- 1996
|
|
14
|
Homotopy theoretic models of identity types
– Steve Awodey, Michael A. Warren
- 2008
|
|
1
|
Categorical Logic
– S. Abramsky, D. M. Gabbay, T. S. E. Maibaum (eds, Andrew M. Pitts, Andrew M. Pitts
- 2001
|
|
23
|
A Category-Theoretic Account of Program Modules
– Eugenio Moggi
- 1994
|
|
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
|
|
1
|
A categorical version of the Brouwer-Heyting-Kolmogorov interpretation
– Erik Palmgren
- 2002
|
|
|
The Interpretation of Inuitionistic . . .
– Alexandre Buisse, Peter Dybjer
- 2008
|
|
33
|
Wellfounded Trees in Categories
– Ieke Moerdijk, Erik Palmgren, Ieke Moerdijk (utrecht
- 1999
|
|
43
|
Presheaf Models for Concurrency
– Gian Luca Cattani
- 1999
|
|
24
|
Equilogical Spaces
– Andrej Bauer, Lars Birkedal, Dana S. Scott
- 1998
|
|
1
|
Categorical Properties of Logical Frameworks
– Yuxi Fu, Yuxi Fu
- 1993
|
|
242
|
Relations in Concurrency
– Glynn Winskel
|
|
1
|
Communication Algebras
– Michal Walicki, Magne Haveraaen, Sigurd Meldal
- 1996
|
