153
Voted
MKM
2007
Springer
16 years 14 days ago
2007
Springer
This paper reports on ongoing work on the project of representing the Kenzo system [15] in type theory [11].