""Delayability" in Proofs of Strong Normalizability in the Typed Lambda ..."

Michael Karr (1985)
a service of Schloss Dagstuhl - Leibniz Center for Informatics