7 results
A homotopy-theoretic model of function extensionality in the effective topos
-
- Journal:
- Mathematical Structures in Computer Science / Volume 29 / Issue 4 / April 2019
- Published online by Cambridge University Press:
- 10 September 2018, pp. 588-614
-
- Article
- Export citation
W-types in homotopy-type theory – CORRIGENDUM
-
- Journal:
- Mathematical Structures in Computer Science / Volume 28 / Issue 1 / January 2018
- Published online by Cambridge University Press:
- 05 April 2016, p. 140
-
- Article
-
- You have access
- Export citation
W-types in homotopy type theory
-
- Journal:
- Mathematical Structures in Computer Science / Volume 25 / Issue 5 / June 2015
- Published online by Cambridge University Press:
- 24 November 2014, pp. 1100-1115
-
- Article
-
- You have access
- Export citation
The Herbrand topos
-
- Journal:
- Mathematical Proceedings of the Cambridge Philosophical Society / Volume 155 / Issue 2 / September 2013
- Published online by Cambridge University Press:
- 04 June 2013, pp. 361-374
- Print publication:
- September 2013
-
- Article
- Export citation
A unified approach to algebraic set theory
-
-
- Book:
- Logic Colloquium 2006
- Published online:
- 28 January 2010
- Print publication:
- 07 September 2009, pp 18-37
-
- Chapter
- Export citation
Three extensional models of type theory
-
- Journal:
- Mathematical Structures in Computer Science / Volume 19 / Issue 2 / April 2009
- Published online by Cambridge University Press:
- 01 April 2009, pp. 417-434
-
- Article
- Export citation
Models of non-well-founded sets via an indexed final coalgebra theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 3 / September 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 767-791
- Print publication:
- September 2007
-
- Article
- Export citation