@InProceedings{alti:csl98,
  author = 	 {Thorsten Altenkirch},
  title = 	 {Logical relations and inductive/coinductive types},
  booktitle = 	 {Computer Science Logic, 12th International Workshop, CSL '98},
  pages = 	 {343-354},
  year =	 {1998},
  series =	 {LNCS 1584}
}