Laurent Chicli

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2002
Mathematical Quotients and Quotient Types in Coq.
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.
Proceedings of the Journées francophones des langages applicatifs (JFLA'01), 2001


  Loading...