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