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
Add To MetaCart
Results 1 - 1 of 1

Isabelle's Object-Logics

by Lawrence C. Paulson , 1997
"... ..."
Abstract - Cited by 21 (2 self) - Add to MetaCart
Abstract not found