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

Cached

Download Links

by Christine Paulin-Mohring
Citations:162 - 1 self