| |
| 2008 | ||
|---|---|---|
| 3 | EE | Carlos Simpson: Algebraic cycles from a computational point of view. Theor. Comput. Sci. 392(1-3): 128-140 (2008) |
| 2006 | ||
| 2 | EE | Carlos Simpson: Explaining Gabriel-Zisman Localization to the Computer. J. Autom. Reasoning 36(3): 259-285 (2006) |
| 2002 | ||
| 1 | EE | Laurent Chicli, Loic Pottier, Carlos Simpson: Mathematical Quotients and Quotient Types in Coq. TYPES 2002: 95-107 |
| 1 | Laurent Chicli | [1] |
| 2 | Loic Pottier | [1] |