Semantics of constructions. II: The initial algebraic approach

DOI10.1007/BF02950418zbMath0992.68139OpenAlexW1992196102MaRDI QIDQ5945839

Yuxi Fu

Publication date: 11 September 2002

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

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

zbMATH Keywords

inductive typesinitial \(T\)-algebra

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

• Unnamed Item
• Unnamed Item
• The calculus of constructions
• Least fixed point of a functor
• The extended calculus of constructions (ECC) with inductive types
• Semantics of constructions. I: The traditional approach

This page was built for publication: Semantics of constructions. II: The initial algebraic approach