We explore the possibility of extending Mardare et al. quantitative alge...
The Lax Logical Framework, LLFP, was introduced, by a team including the...
In 2005, Abramsky introduced various linear/affine combinatory algebras ...
In 2005, Abramsky introduced various linear/affine combinatory algebras ...