Inductively defined types in the calculus of constructions (1990)

by Frank Pfenning , Christine Paulin-mohring
Citations:45 - 3 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