13 results
Extracting functional programs from Coq, in Coq
-
- Journal:
- Journal of Functional Programming / Volume 32 / 2022
- Published online by Cambridge University Press:
- 22 August 2022, e11
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Synthetic topology in Homotopy Type Theory for probabilistic programming
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 10 / November 2021
- Published online by Cambridge University Press:
- 13 August 2021, pp. 1301-1329
-
- Article
- Export citation
3 - Application ofComputable Distributions to the Semantics of Probabilistic Programs
-
-
- Book:
- Foundations of Probabilistic Programming
- Published online:
- 18 November 2020
- Print publication:
- 03 December 2020, pp 75-120
-
- Chapter
-
- You have access
- Open access
- Export citation
Modal dependent type theory and dependent right adjoints
-
- Journal:
- Mathematical Structures in Computer Science / Volume 30 / Issue 2 / February 2020
- Published online by Cambridge University Press:
- 12 December 2019, pp. 118-138
-
- Article
- Export citation
Sets in homotopy type theory†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 25 / Issue 5 / June 2015
- Published online by Cambridge University Press:
- 30 January 2015, pp. 1172-1202
-
- Article
-
- You have access
- Export citation
Type classes for mathematics in type theory†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 21 / Issue 4 / August 2011
- Published online by Cambridge University Press:
- 01 July 2011, pp. 795-825
-
- Article
- Export citation
6 - Bohrification
- from I - Beyond the Hilbert Space Formalism: Category Theory
-
-
- Book:
- Deep Beauty
- Published online:
- 01 June 2011
- Print publication:
- 18 April 2011, pp 271-314
-
- Chapter
- Export citation
THE GELFAND SPECTRUM OF A NONCOMMUTATIVE C*-ALGEBRA: A TOPOS-THEORETIC APPROACH
- Part of
-
- Journal:
- Journal of the Australian Mathematical Society / Volume 90 / Issue 1 / February 2011
- Published online by Cambridge University Press:
- 08 April 2011, pp. 39-52
- Print publication:
- February 2011
-
- Article
-
- You have access
- Export citation
Constructive Gelfand duality for C*-algebras
-
- Journal:
- Mathematical Proceedings of the Cambridge Philosophical Society / Volume 147 / Issue 2 / September 2009
- Published online by Cambridge University Press:
- 01 September 2009, pp. 339-344
- Print publication:
- September 2009
-
- Article
- Export citation
Preface to the special issue: Constructive analysis, types and exact real numbers
-
- Journal:
- Mathematical Structures in Computer Science / Volume 17 / Issue 1 / February 2007
- Published online by Cambridge University Press:
- 01 February 2007, p. 1
-
- Article
-
- You have access
- Export citation
Constructive analysis, types and exact real numbers
-
- Journal:
- Mathematical Structures in Computer Science / Volume 17 / Issue 1 / February 2007
- Published online by Cambridge University Press:
- 01 February 2007, pp. 3-36
-
- Article
- Export citation
Corrigendum to: ‘A constructive view on ergodic theorems’
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1431-1432
- Print publication:
- December 2006
-
- Article
- Export citation
A constructive view on ergodic theorems
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 611-623
- Print publication:
- June 2006
-
- Article
- Export citation