Semantics of constructions. II: The initial algebraic approach

DOI10.1007/BF02950418MaRDI QIDQ5945839zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Semantics of constructions. I: The traditional approach
• Initial algebra semantics for lambda calculi
• scientific article; zbMATH DE number 2077110
• Initial Algebra Semantics Is Enough!
• scientific article; zbMATH DE number 2182487

Cites work

• scientific article; zbMATH DE number 4047683 (Why is no real title available?)
• scientific article; zbMATH DE number 50149 (Why is no real title available?)
• Least fixed point of a functor
• Semantics of constructions. I: The traditional approach
• The calculus of constructions
• The extended calculus of constructions (ECC) with inductive types

Cited in

(11)

• Piecewise initial algebra semantics
• Global semantic typing for inductive and coinductive computing
• A categorical semantics for inductive-inductive definitions
• Homotopy-initial algebras in type theory
• Constructive Semantics: On the Necessity of an Appropriate Concept of Schematization
• On the Construction of Semi-Iterative Methods
• Bootstrapping Inductive and Coinductive Types in HasCASL
• scientific article; zbMATH DE number 3911687 (Why is no real title available?)
• scientific article; zbMATH DE number 4050952 (Why is no real title available?)
• Semantics of constructions. I: The traditional approach
• On the internal structures of inductive types

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5945839)