Inductively defined types in the calculus of constructions (1990)

by Frank Pfenning , Christine Paulin-mohring
Citations:43 - 2 self