"The Hierarchy of Finitely Typed Functional Programs (Short Version)"

A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn (1987)
a service of Schloss Dagstuhl - Leibniz Center for Informatics