Semantics of constructions. I: The traditional approach

DOI10.1007/BF02948849zbMath0974.03032OpenAlexW1991055194MaRDI QIDQ5934287

Yuxi Fu

Publication date: 19 June 2001

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02948849

zbMATH Keywords

calculus of constructionsconstructive type theoryimpredicative type systemssemantics of inductive types

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Second- and higher-order arithmetic and fragments (03F35)

Related Items (1)

Semantics of constructions. II: The initial algebraic approach

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the internal structures of inductive types
• The calculus of constructions
• A small complete category
• The extended calculus of constructions (ECC) with inductive types
• Structures definable in polymorphism
• Constructive sets in computable sets
• Relative properties of frame language
• A higher-order calculus and theory abstraction
• Categorical properties of logical frameworks
• Recursive models for constructive set theories
• Constructive natural deduction and its ‘ω-set’ interpretation
• A formulation of the simple theory of types

This page was built for publication: Semantics of constructions. I: The traditional approach