@InProceedings{alti:types94,
  author = 	 "Thorsten Altenkirch",
  title = 	 "Proving Strong Normalization of {CC} by Modifying
		  Realizability Semantics",
  editor =	 "Henk Barendregt and Tobias Nipkow",
  series =	 "LNCS 806",
  pages =	 "3 - 18",
  booktitle =	 "Types for Proofs and Programs",
  year =	 "1994",
}