"Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers " - читать интересную книгу автора (Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus)