| 2002 | ||
|---|---|---|
| 2 | Laurent Chicli, Loic Pottier, Carlos Simpson: Mathematical Quotients and Quotient Types in Coq. TYPES 2002: 95-107 | |
| 2001 | ||
| 1 | Laurent Chicli: Une formalisation des faisceaux et des schémas affines en théorie des types avec Coq. JFLA 2001: 17-32 | |
| 1 | Loic Pottier | [2] |
| 2 | Carlos Simpson | [2] |