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

Cached

Download Links

by Christine Paulin-Mohring
Citations:161 - 1 self