Laurent Chicli

	2002
2		Laurent Chicli, Loic Pottier, Carlos Simpson: Mathematical Quotients and Quotient Types in Coq. TYPES 2002: 95-107
	2001
1		Laurent Chicli: Une formalisation des faisceaux et des schémas affines en théorie des types avec Coq. JFLA 2001: 17-32

Coauthor Index

1	Loic Pottier	[2]
2	Carlos Simpson	[2]