Carlos Simpson

According to our database, Carlos Simpson authored at least 4 papers between 2002 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Learning proofs for the classification of nilpotent semigroups.

Carlos Simpson

CoRR, 2021

2008

Algebraic cycles from a computational point of view.

Carlos Simpson

Theor. Comput. Sci., 2008

2006

Explaining Gabriel-Zisman Localization to the Computer.

Carlos Simpson

J. Autom. Reason., 2006

2002

Mathematical Quotients and Quotient Types in Coq.

Laurent Chicli, Loic Pottier, Carlos Simpson

Proceedings of the Types for Proofs and Programs, Second International Workshop, 2002