DMCA

Inductively Defined Types in the Calculus of Constructions (1989)

by Frank Pfenning , Christine Paulin-Mohring
Venue:IN: PROCEEDINGS OF THE FIFTH CONFERENCE ON THE MATHEMATICAL FOUNDATIONS OF PROGRAMMING SEMANTICS. SPRINGER VERLAG LNCS
Citations:45 - 3 self