"A Continuum of Theories of Lambda Calculus without Semantics."

Antonino Salibra (2001)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics