"Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers " - читать интересную книгу автора (Peter Dybjer, Bengt Nordström, Jan Smith)