Laurent Chicli

2002
2	EE	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]