Mathematical Quotients and Quotient Types in Coq. - Laurent Chicli; Loic Pottier; Carlos Simpson (TYPES, 2002)

Explaining Gabriel-Zisman Localization to the Computer. - Carlos Simpson (J. Autom. Reason., 2006)

Algebraic cycles from a computational point of view. - Carlos Simpson (Theor. Comput. Sci., 2008)

Learning proofs for the classification of nilpotent semigroups. - Carlos Simpson (CoRR, 2021)