Linear Lambda-Calculus and Categorial Models Revisited.

P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland

Browse the full CSL paper archive.