"On the Logical Foundations of Staged Computation (Abstract of Invited Talk)."

Frank Pfenning (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics