"A Type Theoretical Analysis of Some Aspects of Programming Languages."

Verónica Gaspes (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics