Lars Birkedal, Robert Harper. Relational Interpretations of Recursive Types in an operational Setting (Summary). In MartÃn Abadi, Takayasu Ito, editors, Theoretical Aspects of Computer Software, Third International Symposium, TACS 97, Sendai, Japan, September 23-26, 1997, Proceedings. Volume 1281 of Lecture Notes in Computer Science, pages 458-490, Springer, 1997.
Abstract is missing.