Volume 121, Numbers 1&2, 1993 A Collection of Contributions in Honour of Corrado Böhm on the Occasion of his 70th Birthday
: Constructive Proofs of the Range Property in lambda-Calculus.
, G. Sontacchi
: General Recursive Functions in a Very Simply Interpretable Typed lambda-Calculus.
Stephen D. Brookes
: Historical Introduction to "Concrete Domains" by G. Kahn and Gordon D. Plotkin.
: Functions Over Free Algebras Definable in the Simply Typed lambda Calculus.
Gordon D. Plotkin
: Set-Theoretical and Other Elementary Models of the lambda-Calculus.
Dana S. Scott
: A Type-Theoretical Alternative to ISWIM, CUCH, OWHY.