"Relational Interpretations of Recursive Types in an Operational Setting."

Lars Birkedal, Robert Harper (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics