"Twenty-five years of constructive type theory. Proceedings of a congress held in Venice, october 1995" - читать интересную книгу автора (Giovanni Sambin, Jan M. Smith)