"The Sensible Graph Theories of Lambda Calculus."

Antonio Bucciarelli, Antonino Salibra (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics