biha98

Lars Birkedal, Robert Harper. Relational Interpretations of Recursive Types in an Operational Setting (Summary). Manuscript, 1998.

Keyword

[ Rectype ]

Contact

Lars Birkedal
R. Harper

BibTex Reference

@Misc{biha98,
   Author = {Birkedal, Lars and Harper, Robert},
   Title = {Relational Interpretations of Recursive Types in an Operational Setting (Summary)},
   Howpublished = {Manuscript},
   Year = {1998}
}

EndNote Reference [help]

Get EndNote Reference (.ref)