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...
share
research
∙
06/18/2018
Lambda-calculus and Reversible Automatic Combinators
In 2005, Abramsky introduced various linear/affine combinatory algebras ...
research
∙
06/18/2018
