@Proceedings{alti:types98,
  title = 	 {Types for Proofs and Programs (TYPES '98)},
  year = 	 {1999},
  editor =	 {Thorsten Altenkirch and Wolfgang Naraschewski and Bernhard Reus},
  volume =	 {1657},
  series =	 {Lecture Notes in Computer Science},
}