Laurent Chicli

Publication Activity (10 Years)

Years Active: 2001-2002
Publications (10 Years): 0

Publications

Laurent Chicli, Loic Pottier, Carlos Simpson
Mathematical Quotients and Quotient Types in Coq. TYPES (2002)
Laurent Chicli
Une formalisation des faisceaux et des schémas affines en théorie des types avec Coq. JFLA (2001)