Inductively defined types in the calculus of constructions (1990)

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

Document Versions

Inductively Defined Types in the Calculus of Constructions –Frank Pfenning, Christine Paulin-Mohring — 1989 — IN: PROCEEDINGS OF THE FIFTH CONFERENCE ON THE MATHEMATICAL FOUNDATIONS OF PROGRAMMING SEMANTICS. SPRINGER VERLAG LNCS
Inductively defined types in the calculus of constructions –Frank Pfenning, Christine Paulin-mohring — 1990