research
∙
10/19/2019
Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
This volume contains a selection of papers presented at LFMTP 2019, the ...
share
research
∙
02/05/2019
Mobile Information Retrieval
Mobile Information Retrieval (Mobile IR) is a relatively recent branch o...
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
