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

Cached

Download Links

by Christine Paulin-Mohring
Citations:164 - 1 self