Inductively Defined Types in the Calculus of Constructions.
Frank Pfenning, Christine Paulin-Mohring
VenueBMFPS
Year1989
ProceedingsMathematical Foundations of Programming Semantics
DBLP recordconf/mfps/PfenningP89 ↗
Browse the full MFPS paper archive.