Types for Proofs and Programs: International Workshop, TYPES ’98, Kloster Irs…
Types for Proofs and Programs: International Workshop, TYPES ’98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers (Lecture Notes in Computer Science (1657)) by Altenkirch, Thorsten, Naraschewski, Wolfgang, Reus, Bernhard [Paperback]