Types for Proofs and Programs : International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers - Thorsten Altenkirch, Bernhard Reus, Wolfgang Naraschewski ((Lecture Notes in Computer Science))