"Types for Proofs and Programs: International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers " - читать интересную книгу автора (Eduardo Gimenez, Christine Paulin-Mohring)