Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995
by Giovanni Sambin
On This Page
Description
Martin-Loøf type theory is an important and practical formalisation of the foundations of mathematics. This volume celebrates the 25th anniversary of the birth of the subject, and is a record of areas of activity and of its early development.Tags
Members
- Recently Added By
Author Information
3 Works 7 Members
Series
Belongs to Publisher Series
Oxford Logic Guides (36)
Common Knowledge
- Canonical title
- Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995
Classifications
Statistics
- Members
- 4
- Popularity
- 3,419,733
- Languages
- English
- Media
- Paper, Ebook
- ISBNs
- 3
