"Lambda-calculus, Combinators and the Comprehension Scheme."

Gilles Dowek (1995)
a service of Schloss Dagstuhl - Leibniz Center for Informatics