Active Bibliography

WARSZAWA 199* BETA-REDUCTION AS UNIFICATION DEDICATED TO THE MEMORY OF PROFESSOR HELENA RASIOWA – A. J. Kfoury
2 A Linearization of the Lambda-Calculus and Consequences – A.J. Kfoury - 2000
552 Lambda Calculi with Types – Henk Barendregt - 1993
19 Intersection types for explicit substitutions – Stéphane Lengrand, Pierre Lescanne, Dan Dougherty, Mariangiola Dezani-Ciancaglini, Steffen van Bakel - 2003
A Syntactical Analysis of Normalization – Zurab Khasidashvili, Adolfo Piperno
37 Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1996
269 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
Intersection Types, *-models, and B"ohm Trees Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ugo de'Liguoro – unknown authors
Intersection Types, λ-models, and Böhm Trees – Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ugo de'Liguoro