Laurent Chicli

According to our database, Laurent Chicli authored at least 2 papers between 2001 and 2002.

Collaborative distances:

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

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

2001

Une formalisation des faisceaux et des schémas affines en théorie des types avec Coq.

Laurent Chicli

Proceedings of the Journées francophones des langages applicatifs (JFLA'01), 2001