"Circularity and Lambda Abstraction: From Bird to Pettorossi and back."

Olivier Danvy, Peter Thiemann, Ian Zerny (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics