Experimenting with Isabelle in ZF set theory (1993)

by Philippe Noël
Venue:BIBLIOGRAPHY 78 [12] Christine Paulin-Mohring. Inductive definitions in the system Coq: Rules and properties. In M. Bezem and J.F. Groote, editors, Typed Lambda Calculi and Applications, LNCS 664