"Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers " - читать интересную книгу автора (Stefano Berardi, Mario Coppo)