Dependent Record Types and Formal Abstract Reasoning (1998)

by G Betarte
Venue:7] Chrzaszcz: Modules in Coq Are and Will Be Correct, Types for Proofs and Programs, TYPES 2003, 3085,Springer-Verlag, 2004. [8] Coq: The Coq Project