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

lambda calculusnatural transformationsmash productinitial algebraalgebra homomorphism

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

• 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?)
• A fixpoint theorem for complete categories

Cited in

(15)

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

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)