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
17 Intersection types for explicit substitutions – Stéphane Lengrand, Pierre Lescanne, Dan Dougherty, Mariangiola Dezani-Ciancaglini, Steffen van Bakel - 2003
Intersection Types, λ-models, and Böhm Trees – Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ugo de'Liguoro
37 Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1996
Contents – A. J. Kfoury - 1996
Type- and Flow-Directed Compilation for Specialized Data Representations – Allyn Dimock - 2002
86 The Essence of Principal Typings – J. B. Wells - 2002
15 Decidable and undecidable second-order unification problems – Jordi Levy - 1998
2 Characterising Strong Normalisation for Explicit Substitutions – Steffen Van Bakel, Mariangiola Dezani-ciancaglini - 2002
17 Compositional Characterizations of λ-terms using Intersection Types (Extended Abstract) – M. Dezani-Ciancaglini, F. Honsell, Y. Motohama - 2000
8 Modularity of Strong Normalization in the Algebraic-λ-cube – Franco Barbanera, Maribel Fernández, Herman Geuvers - 1996
52 Principality and Decidable Type Inference for Finite-Rank Intersection Types – A. J. Kfoury, J. B. Wells - 1999
67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
23 Rank 2 Intersection Type Assignment in Term Rewriting Systems – Steffen van Bakel - 1996
62 Intersection Type Assignment Systems – Steffen Van Bakel - 1995
12 A Complete Characterization of Complete Intersection-Type Theories (Extended Abstract) – M. Dezani-ciancaglini, F. Honsell, F. Alessi - 2000
1 Contents – David P. Cunningham, Supervisor Herbert Wiklicky - 2005
1 On the relation between rank 2 intersection types and simple types – Ra Alves, Mário Florido - 2002