Initial algebra semantics for lambda calculi

DOI10.1007/BFB0040272MaRDI QIDQ5887531zbMATH OpenFDO

Authors John W. Gray

Publication date 12 April 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

algebra homomorphisminitial algebralambda calculusnatural transformationsmash product

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 3909726
• Semantics of a typed algebraic lambda-calculus
• The algebraic lambda calculus
• On the algebraic models of lambda calculus
• A typed, algebraic, computational lambda-calculus
• Lambda calculus and intuitionistic linear logic
• The Intensional Lambda Calculus
• Semantics of linear/modal lambda calculus
• scientific article; zbMATH DE number 512781
• A finite equational axiomatization of the functional algebras for the lambda calculus

Cites work

• A fixpoint theorem for complete categories
• scientific article; zbMATH DE number 3882404 (Why is no real title available?)
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 3967883 (Why is no real title available?)
• scientific article; zbMATH DE number 4059656 (Why is no real title available?)
• scientific article; zbMATH DE number 3485174 (Why is no real title available?)

Cited in

(17)

• Delaying unification algorithms for lambda calculi
• On functors expressible in the polymorphic typed lambda calculus
• Piecewise initial algebra semantics
• An Alpha-Corecursion Principle for the Infinitary Lambda Calculus
• scientific article; zbMATH DE number 5872263 (Why is no real title available?)
• scientific article; zbMATH DE number 4154448 (Why is no real title available?)
• Initial Algebra Semantics Is Enough!
• scientific article; zbMATH DE number 3909726 (Why is no real title available?)
• scientific article; zbMATH DE number 4050952 (Why is no real title available?)
• scientific article; zbMATH DE number 19052 (Why is no real title available?)
• scientific article; zbMATH DE number 69223 (Why is no real title available?)
• scientific article; zbMATH DE number 761276 (Why is no real title available?)
• Semantics of a typed algebraic lambda-calculus
• Initial semantics for reduction rules
• Initial algebras of terms with binding and algebraic structure
• Algebraic types in PER models
• Semantics of constructions. II: The initial algebraic approach

This page was built for publication: Initial algebra semantics for lambda calculi

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