research
∙
04/28/2022
On Quantitative Algebraic Higher-Order Theories
We explore the possibility of extending Mardare et al. quantitative alge...
share
research
∙
10/24/2019
A Definitional Implementation of the Lax Logical Framework LLFP in Coq, for Supporting Fast and Loose Reasoning
The Lax Logical Framework, LLFP, was introduced, by a team including the...
research
∙
08/13/2018
The Delta-framework
We introduce the Delta-framework, LF-Delta, a dependent type theory base...
research
∙
06/18/2018
Lambda-calculus and Reversible Automatic Combinators
In 2005, Abramsky introduced various linear/affine combinatory algebras ...
research
∙
06/18/2018