"On the Power of Self-Application and Higher Type-Recursion."

Werner Damm, Elfriede Fehr (1978)
a service of Schloss Dagstuhl - Leibniz Center for Informatics