13 results
The Univalent Foundations Program. Homotopy Type Theory: Univalent Foundations of Mathematics. http://homotopytypetheory.org/book, Institute for Advanced Study, 2013, vii + 583 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 4 / December 2014
- Published online by Cambridge University Press:
- 30 December 2014, pp. 497-500
- Print publication:
- December 2014
-
- Article
- Export citation
A notion of homotopy for the effective topos
-
- Journal:
- Mathematical Structures in Computer Science / Volume 25 / Issue 5 / June 2015
- Published online by Cambridge University Press:
- 17 November 2014, pp. 1132-1146
-
- Article
-
- You have access
- Export citation
From sets and types to topology and analysis—towards practicable foundations for constructive mathematics, edited by Laura Crosilla and Peter Schuster, Oxford Logic Guides, vol. 48. Clarendon Press, 2005, xix + 450 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 611-612
- Print publication:
- December 2006
-
- Article
- Export citation
Algebraic set theory and the effective topos
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 3 / September 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 879-890
- Print publication:
- September 2005
-
- Article
- Export citation
A partial analysis of modified realizability
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 421-429
- Print publication:
- June 2004
-
- Article
- Export citation
Silvio Ghilardi and Marek Zawadowski. Sheaves, games, and model completions. Trends in Logic, vol. 14. Kluwer, 2002.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 216-218
- Print publication:
- June 2004
-
- Article
- Export citation
Ordered partial combinatory algebras
-
- Journal:
- Mathematical Proceedings of the Cambridge Philosophical Society / Volume 134 / Issue 3 / May 2003
- Published online by Cambridge University Press:
- 02 May 2003, pp. 445-463
- Print publication:
- May 2003
-
- Article
- Export citation
Realizability: a historical essay
-
- Journal:
- Mathematical Structures in Computer Science / Volume 12 / Issue 3 / June 2002
- Published online by Cambridge University Press:
- 06 August 2002, pp. 239-263
-
- Article
- Export citation
Foreword
-
- Journal:
- Mathematical Structures in Computer Science / Volume 12 / Issue 3 / June 2002
- Published online by Cambridge University Press:
- 06 August 2002, pp. 237-238
-
- Article
-
- You have access
- Export citation
A Combinatory Algebra for Sequential Functionals of Finite Type
-
-
- Book:
- Models and Computability
- Published online:
- 17 May 2010
- Print publication:
- 17 June 1999, pp 389-406
-
- Chapter
- Export citation
Two remarks on the Lifschitz realizability topos
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 1 / March 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 70-79
- Print publication:
- March 1996
-
- Article
- Export citation
Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 964-973
- Print publication:
- September 1991
-
- Article
- Export citation
Lifschitz' realizability
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 805-821
- Print publication:
- June 1990
-
- Article
- Export citation