"The Head Condition and Polymorphic Recursion."

Jan-Georg Smaus (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics