## Understanding Inductive Types in Constructions (1993)

by
Yuxi Fu

Citations: | 2 - 1 self |

### BibTeX

@TECHREPORT{Fu93understandinginductive,

author = {Yuxi Fu},

title = {Understanding Inductive Types in Constructions},

institution = {},

year = {1993}

}

### OpenURL

### Abstract

In this paper we extend the Calculus of Constructions with generalized inductive types. The extension is justified by showing that the usual set theoretical model can be effectivized. It is also pointed out that the model given in a published paper for a collection of inductive types in a different style is wrong.