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

Cached

Download Links

by Christine Paulin-Mohring
Citations:164 - 1 self

Document Versions

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