@InProceedings{birkedal+:rel-interp-tacs,
  author = 	 {Lars Birkedal and Robert Harper},
  title = 	 {Relational Interpretations of Recursive Types in an Operational Setting (Summary)},
  booktitle = 	 {Theoretical Aspects of Computer Science},
  year =	 1997,
  address =	 {Sendai, Japan},
  month =	 {September}
}