Laurent Chicli, Loic Pottier, Carlos Simpson. Mathematical Quotients and Quotient Types in Coq. In Herman Geuvers, Freek Wiedijk, editors, Types for Proofs and Programs, Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers. Volume 2646 of Lecture Notes in Computer Science, pages 95-107, Springer, 2002. [doi]
Abstract is missing.