Sciweavers

121

Voted

MKM
2007
Springer

109views Information Technology» more MKM 2007»

15 years 10 months ago

This paper reports on ongoing work on the project of representing the Kenzo system [15] in type theory [11].

Thierry Coquand, Arnaud Spiwack

claim paper

Read More »