Mathematical Quotients and Quotient Types in Coq - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Laurent Chicli' in GoogleThis author has not been identified. Look up 'Loic Pottier' in GoogleThis author has not been identified. Look up 'Carlos Simpson' in Google

runs on WebDSL