Tripos Theory in Retrospect

Tripos Theory in Retrospect (2001)

by Andrew M. Pitts

Citations:

9 - 0 self

@MISC{Pitts01tripostheory,
    author = {Andrew M. Pitts},
    title = {Tripos Theory in Retrospect},
    year = {2001}
}

90	Semantical analysis of higher-order abstract syntax - Hofmann
77	The Effective Topos - Hyland - 1982
65	On the interpretation of intuitionistic number theory - Kleene - 1945
55	Realizability Toposes and Language Semantics - Longley - 1995
53	Equality in hyperdoctrines and comprehension schema as an adjoint functor, Applications of Categorical Algebra (Proc - Lawvere - 1968
43	Sheaves and logic - Fourman, Scott - 1979
31	A small complete category - Hyland - 1988
21	Local realizability toposes and a modal logic for computability - Awodey, Birkedal, et al.
16	1969] Adjointness in Foundations - Lawvere
6	The fibrational formulation of intuitionistic predicate logic I: Completeness according to Godel, Kripke and Lauchli - Makkai - 1993
2	Tutorial Workshop on Realizability Semantics - Birkedal, Rosolini - 1999
1	Topos Theory. Number 10 in LMS Mathematical Monographs - Johnstone - 1977