106
click to vote
MKM
2007
Springer
15 years 9 months ago
2007
Springer
This paper reports on ongoing work on the project of representing the Kenzo system [15] in type theory [11].