Frank Pfenning, Christine Paulin-Mohring. Inductively Defined Types in the Calculus of Constructions. In Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt, editors, Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings. Volume 442 of Lecture Notes in Computer Science, pages 209-228, Springer, 1989.
Abstract is missing.