|
|
Topological Representation of the &ambda;-Calculus
– S. Awodey
- 1998
|
|
2
|
Sheaf Representation for Topoi
– S. Awodey
- 1997
|
|
3
|
Syntax and Semantics of the logic ...
– Carsten Butz, Carsten Butz
- 1997
|
|
1
|
Continuity and Logical Completeness: An application of sheaf theory and topoi
– Steve Awodey
- 2000
|
|
1
|
Logic in topoi: Functorial Semantics for Higher-Order Logic
– Steven Awodey
- 1997
|
|
1
|
To appear in Structural Foundations of Quantum Gravity,
– John C. Baez, Steven French, Dean Rickles, Juha Saatsi, Oxford U. Press
- 2004
|
|
23
|
Deliverables: A Categorical Approach to Program Development in Type Theory
– James Hugh McKinna
- 1992
|
|
|
1 Reflections on a categorical foundations of mathematics
– J. Lambek, P. J. Scott
|
|
2
|
A Complete Axiomatization of Higher-Order Intuitionistic Logic
– Marcelo E. Coniglio, Cristina Sernadas
- 2001
|
|
2
|
Hyperintensions
– Carl Pollard
|
|
|
and Theories Version 1.1, Reprinted by Theory and Applications of Categories
– Michael Barr, Charles Wells, Originally Published Springer-verlag, Michael Barr, Charles Wells, Charles Wells
|
|
164
|
Toposes, Triples and Theories
– Michael Barr, Charles Wells
- 2005
|
|
7
|
Classifying Toposes for First Order Theories
– Carsten Butz, Peter T. Johnstone
- 1997
|
|
|
A Generalization of Dijkstra's Calculus to Typed Program Specifications
– Program Speci Cations, Klaus-dieter Schewe, Bernhard Thalheim
|
|
|
New Semantics for the Simply Typed lambda-calculus
– Avi Silterra
- 2003
|
|
|
New Semantics for the Simply Typed
– Calculus Logic And, Avi Silterra
|
|
1
|
Some results on ordered structures in toposes
– Luís Augusto Sbardellini, Marcelo Esteban Coniglio
|
|
3
|
Reduction-free normalisation for system F
– Thorsten Altenkirch, Thomas Streicher, Martin Hofmann, Martin Hofmann
- 1996
|
|
|
Lane’s Categories for the Working Mathematician? Simply put: because
– Steve Awodey, Saunders Mac, Lane Preface
|
