10 results
Special issue on homotopy type theory 2019 vol. 2
-
- Journal:
- Mathematical Structures in Computer Science / Volume 33 / Issue 8 / September 2023
- Published online by Cambridge University Press:
- 11 September 2023, p. 660
-
- Article
-
- You have access
- HTML
- Export citation
Special issue on homotopy type theory 2019
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 10 / November 2021
- Published online by Cambridge University Press:
- 28 September 2022, pp. 1145-1146
-
- Article
-
- You have access
- HTML
- Export citation
CONSTRUCTIVE REFLECTIVITY PRINCIPLES FOR REGULAR THEORIES
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 4 / December 2019
- Published online by Cambridge University Press:
- 30 September 2019, pp. 1348-1367
- Print publication:
- December 2019
-
- Article
- Export citation
Semantics of higher inductive types
- Part of
-
- Journal:
- Mathematical Proceedings of the Cambridge Philosophical Society / Volume 169 / Issue 1 / July 2020
- Published online by Cambridge University Press:
- 17 June 2019, pp. 159-208
- Print publication:
- July 2020
-
- Article
- Export citation
Homotopy limits in type theory
-
- Journal:
- Mathematical Structures in Computer Science / Volume 25 / Issue 5 / June 2015
- Published online by Cambridge University Press:
- 19 January 2015, pp. 1040-1070
-
- Article
-
- You have access
- Export citation
On the Bourbaki–Witt principle in toposes
-
- Journal:
- Mathematical Proceedings of the Cambridge Philosophical Society / Volume 155 / Issue 1 / July 2013
- Published online by Cambridge University Press:
- 18 March 2013, pp. 87-99
- Print publication:
- July 2013
-
- Article
- Export citation
1 - An introduction to ℙmax forcing
-
-
- Book:
- Appalachian Set Theory
- Published online:
- 05 December 2012
- Print publication:
- 15 November 2012, pp 5-24
-
- Chapter
- Export citation
Lawvere–Tierney sheaves in Algebraic Set Theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 3 / September 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 861-890
- Print publication:
- September 2009
-
- Article
- Export citation
Measuring the constitutive behavior of viscoelastic solids in the time and frequency domain using flat punch nanoindentation
-
- Journal:
- Journal of Materials Research / Volume 24 / Issue 3 / March 2009
- Published online by Cambridge University Press:
- 31 January 2011, pp. 626-637
- Print publication:
- March 2009
-
- Article
- Export citation
An extended comparative study of language support for generic programming
-
- Journal:
- Journal of Functional Programming / Volume 17 / Issue 2 / March 2007
- Published online by Cambridge University Press:
- 01 March 2007, pp. 145-205
-
- Article
-
- You have access
- Export citation