Main image
Click to view image in fullscreen
![]()
Twenty Five Years of Constructive Type Theory
Martin-Lof Type Theory is both an important and practical formalization and a focus for a charismatic view of the foundations of mathematics. This volume, including one of Per Martin-Lof's earliest papers, celebrates the 25th anniversary of the birth of the subject.
1 060,00 DH
Sur commande
Martin-Lof Type Theory is both an important and practical formalization and a focus for a charismatic view of the foundations of mathematics. This volume, including one of Per Martin-Lof's earliest papers, celebrates the 25th anniversary of the birth of the subject.
| ISBN / EAN | 9780198501275 |
|---|---|
| Auteur | Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua) |
| Editeur | Oxford University Press |