Per Martin-Lof"s work on constructive type theory has had a tremendous impact on logic and mathematics, as well as important applications in computer science and linguistics. This volume celebrates the birth of the subject and provides an invaluable record of current activity. It includes contributions from N. G. de Bruijn, William Tait, and Per Martin-Lof. Это и многое другое вы найдете в книге Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995 (Oxford Logic Guides) (Giovanni Sambin)
Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995 (Oxford Logic Guides) Giovanni Sambin
Подробная информация о книге «Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995 (Oxford Logic Guides) Giovanni Sambin». Сайт не предоставляет возможности читать онлайн или скачать бесплатно книгу «Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995 (Oxford Logic Guides) Giovanni Sambin»
