![](/img/cover-not-exists.png)
Lambda-calculus, types and models: J.L. Krivine,First published in French by Masson, Paris under the title Lambda-Calcul, Types et Modèles 1990. English translation by R. Cori, Masson, Paris, 1993. Ellis Horwood Series in Computers and their Applications, ISBN 0 13 062407 (hbk), vii + 177 pages
J.W. KlopVolume:
32
Year:
1998
Language:
english
Pages:
2
DOI:
10.1016/s0167-6423(98)90004-1
File:
PDF, 147 KB
english, 1998