Inductive Definitions in the System Coq Rules and Properties (1992)
by
Christine Paulin-Mohring
| Citations: | 143 - 1 self |
Document Versions
| Inductive Definitions in the System Coq Rules and Properties –Christine Paulin-Mohring — 1992 |
