Towards a notion of lambda monoid

DOI10.1016/J.ENTCS.2014.02.004zbMath1338.03016OpenAlexW2005173090WikidataQ113317893 ScholiaQ113317893MaRDI QIDQ280190

J. M. E. Hyland

Publication date: 6 May 2016

Full work available at URL: https://doi.org/10.1016/j.entcs.2014.02.004

zbMATH Keywords

algebraic theories\(\lambda\)-calculus\(\lambda\)-monoidsabstract clonesreflexive objects

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Operations and polynomials in algebraic structures, primal algebras (08A40) Theories (e.g., algebraic theories), structure, and semantics (18C10) Combinatory logic and lambda calculus (03B40)

Related Items (1)

The linear-non-linear substitution 2-monad

Cites Work

• The lambda calculus. Its syntax and semantics. Rev. ed.
• Elements of a theory of algebraic theories
• The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
• Classical lambda calculus in modern dress
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Towards a notion of lambda monoid