"Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues)" - читать интересную книгу автора (Stefano Berardi, Ferruccio Damiani)