Types for Proofs and Programs International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers - Altenkirch, Thorsten; Altenkirch, Thorsten; Naraschewski, Wolfgang; Naraschewski, Wolfgang; Reus, Bernhard; Reus, Bernhard (Springer Berlin Heidelberg : Imprint: Springer, 1999)