Volume 121,
Numbers 1&2,
1993
A Collection of Contributions in Honour of Corrado Böhm on the Occasion of his 70th Birthday
- Martín Abadi, Luca Cardelli, Pierre-Louis Curien:
Formal Parametric Polymorphism.
9-58 BibTeX
- Henk Barendregt:
Constructive Proofs of the Range Property in lambda-Calculus.
59-69 BibTeX
- Alessandro Berarducci, Benedetto Intrigila:
Some New Results on Easy lambda-Terms.
71-88 BibTeX
- Robert L. Constable, Scott F. Smith:
Computational Foundations of Basic Recursive Function Theory.
89-112 BibTeX
- Mario Coppo, Alberto Ferrari:
Type Inference, Abstract Interpretation and Strictness Analysis.
113-143 BibTeX
- Gérard P. Huet:
An Analysis of Böhm's Theorem.
145-167 BibTeX
- G. Jacopini, G. Sontacchi:
General Recursive Functions in a Very Simply Interpretable Typed lambda-Calculus.
169-178 BibTeX
- Stephen D. Brookes:
Historical Introduction to "Concrete Domains" by G. Kahn and Gordon D. Plotkin.
179-186 BibTeX
- Gilles Kahn, Gordon D. Plotkin:
Concrete Domains.
187-277 BibTeX
- Jan Willem Klop, Vincent van Oostrom, Femke van Raamsdonk:
Combinatory Reduction Systems: Introduction and Survey.
279-308 BibTeX
- Daniel Leivant:
Functions Over Free Algebras Definable in the Simply Typed lambda Calculus.
309-322 BibTeX
- Giuseppe Longo, Kathleen Milsted, Sergei Soloviev:
The Genericity Theorem and Parametricity in the Polymorphic lambda-Calculus.
323-349 BibTeX
- Gordon D. Plotkin:
Set-Theoretical and Other Elementary Models of the lambda-Calculus.
351-409 BibTeX
- Dana S. Scott:
A Type-Theoretical Alternative to ISWIM, CUCH, OWHY.
411-440 BibTeX
- Richard Statman:
Some Examples of Non-Existent Combinators.
441-448 BibTeX
Copyright © Sun May 17 00:24:10 2009
by Michael Ley (ley@uni-trier.de)
