research
∙
10/23/2020
An Intuitionistic Set-theoretical Model of Fully Dependent CCω
Werner's set-theoretical model is one of the simplest models of CIC. It ...
share
research
∙
04/27/2020
Formal Adventures in Convex and Conical Spaces
Convex sets appear in various mathematical theories, and are used to def...
research
∙
03/22/2020
A Trustful Monad for Axiomatic Reasoning with Probability and Nondeterminism
The algebraic properties of the combination of probabilistic choice and ...
research
∙
04/04/2019