The strength of Martin-Löf type theory w
✍
Michael Rathjen
📂
Article
📅
2000
🏛
Springer
🌐
English
⚖ 260 KB