"Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers " - читать интересную книгу автора (Henk Barendregt, Tobias Nipkow)