3 results
An intuitionistic set-theoretical model of fully dependent CC
$^{\boldsymbol\omega}$
-
- Journal:
- Mathematical Structures in Computer Science / Volume 33 / Issue 1 / January 2023
- Published online by Cambridge University Press:
- 17 April 2023, pp. 1-32
-
- Article
- Export citation
A trustful monad for axiomatic reasoning with probability and nondeterminism
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 15 July 2021, e17
-
- Article
-
- You have access
- Export citation
A certified implementation of ML with structural polymorphism and recursive types
-
- Journal:
- Mathematical Structures in Computer Science / Volume 25 / Issue 4 / May 2015
- Published online by Cambridge University Press:
- 11 November 2014, pp. 867-891
-
- Article
- Export citation