The extended calculus of constructions (ECC) with inductive types
type: Item
instance of: scholarly article
title: The extended calculus of constructions (ECC) with inductive types
zbMATH Open document ID: 0784.03009
DOI: 10.1016/0890-5401(92)90031-A
author: Christian-Emil Ore
published in: Information and Computation
publication date: 1992-09-27T00:00:00Z
Mathematics Subject Classification ID: 03B15
Mathematics Subject Classification ID: 68N15
zbMATH DE Number: 64881
zbMATH Keywords: Extended Calculus of Constructions
zbMATH Keywords: higher order functional calculus
zbMATH Keywords: predicative cumulative type hierarchy
zbMATH Keywords: inductive types
describes a project that uses: LEGO
MaRDI profile type: Publication
cites work: Q3702502
cites work: The calculus of constructions
cites work: Q5753923
cites work: Fundamentals of contemporary set theory
cites work: The system \({\mathcal F}\) of variable types, fifteen years later
cites work: Q4178466
cites work: A small complete category
cites work: Q5752573
cites work: Q4189277
cites work: Q3211296
cites work: A higher-order calculus and theory abstraction
cites work: Q3999860
cites work: Q5624680
description: scientific article; zbMATH DE number 64881