|
32
|
Some free constructions in realizability and proof theory
– A Carboni
- 1995
|
|
21
|
Locally cartesian closed exact completions
– A Carboni, G Rosolini
- 2000
|
|
77
|
The Effective Topos
– J Hyland
- 1982
|
|
150
|
Sheaves in Geometry and Logic: A First Introduction to Topos Theory
– S Mac Lane, S, I Moerdijk
- 1992
|
|
55
|
Realizability Toposes and Language Semantics
– J Longley
- 1995
|
|
19
|
The Theory of Triposes
– A M Pitts
- 1981
|
|
85
|
R.F.C.Walters. Introduction to extensive and distributive categories
– A Carboni, S Lack
- 1993
|
|
25
|
Type theory via exact categories
– L Birkedal, A Carboni, G Rosolini, D S Scott
- 1998
|
|
33
|
Wellfounded Trees in Categories
– Ieke Moerdijk, Erik Palmgren, Ieke Moerdijk (utrecht
- 1999
|
|
9
|
Extensional realizability
– J van Oosten
- 1993
|
|
27
|
Proper maps of toposes
– I Moerdijk, J Vermeulen
|
|
21
|
Local Realizability Toposes and a Modal Logic for Computability (Extended Abstracts)
– Stephen Awodey, Lars Birkedal, Dana S. Scott
- 1999
|
|
7
|
Relative and Modified Relative Realizability
– Lars Birkedal, Jaap Van Oosten
- 2001
|
|
33
|
Regular and exact completions
– A Carboni, E M Vitale
- 1998
|
|
12
|
Colimit completions and the effective topos
– Edmund Robinson, Giuseppe Rosolini
- 1990
|
|
3
|
The fibrational formulation of intuitionistic prediate logic 1: completeness according to Godel, Kripke and Lauchli. Part 2. Notre Dame journal of formal logic
– M Makkai
- 1993
|
|
16
|
An Abstract Notion of Realizability for which Intuitionistic Predicate Calculus is Complete
– H Lauchli
|
|
5
|
Adjoints in and among bicategories
– F W Lawvere
- 1996
|
|
7
|
Colimit Completions and the Eective Topos
– E Robinson, G Rosolini
- 1990
|
