Inductive Definitions in the System Coq Rules and Properties (1992)

View PDF

Download Links

by Christine Paulin-Mohring
Citations:185 - 2 self

Document Versions

Inductive Definitions in the System Coq Rules and Properties –Christine Paulin-Mohring — 1992