This volume contains a selection of papers presented at LFMTP 2019, the ...
Mobile Information Retrieval (Mobile IR) is a relatively recent branch o...
We introduce the Delta-framework, LF-Delta, a dependent type theory base...
In 2005, Abramsky introduced various linear/affine combinatory algebras ...
In 2005, Abramsky introduced various linear/affine combinatory algebras ...