Linear Lambda-Calculus and Categorial Models Revisited.
Linear Lambda-Calculus and Categorial Models Revisited.
P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland
01 September 1992
Venue : CSL
External Link: https://doi.org/10.1007/3-540-56992-8_6