Paulin-Mohring. Inductive definitions in the system Coq: Rules and properties (1992)

by Christine
Venue:Research Report 92-49, LIP, Ecole Normale Supérieure de