Semantics of constructions. I: The traditional approach
From MaRDI portal
Publication:5934287
DOI10.1007/BF02948849zbMath0974.03032MaRDI QIDQ5934287
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
calculus of constructions; constructive type theory; impredicative type systems; semantics of inductive types
03B70: Logic in computer science
68Q55: Semantics in the theory of computing
03F35: Second- and higher-order arithmetic and fragments
Related Items
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