#### DMCA

## Inductively Defined Types in the Calculus of Constructions (1989)

### Cached

### Download Links

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 |