Relational Interpretations of Recursive Types in an Operational Setting

Lars Birkedal, Robert Harper. Relational Interpretations of Recursive Types in an Operational Setting. Inf. Comput., 155(1-2):3-63, 1999.

Abstract

Abstract is missing.