"Types for proofs and programs international conference, TYPES 2008 Torino, Italy, March 26-29, 2008: revised selected papers" - читать интересную книгу автора (Stefano Berardi, Ferruccio Damiani, Ugo de Liguoro)