Types for proofs and programs international workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers / - Altenkirch, Thorsten,; Naraschewski, Wolfgang,; Reus, Bernhard, (Lecture notes in computer science ;)