Towards a notion of lambda monoid

DOI10.1016/J.ENTCS.2014.02.004zbMATH Open1338.03016OpenAlexW2005173090WikidataQ113317893 ScholiaQ113317893MaRDI QIDQ280190FDOQ280190

Authors: Martin Hyland 

Publication date: 6 May 2016

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

Recommendations

• Lambda‐Algebras and C‐Monoids
• Classical lambda calculus in modern dress
• scientific article; zbMATH DE number 3837991
• Notions of computation and monads
• On the representation of semigroups and other congruences in the lambda calculus

zbMATH Keywords

\(\lambda\)-calculus\(\lambda\)-monoidsabstract clonesalgebraic theoriesreflexive objects

Mathematics Subject Classification ID

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

Cites Work

• The category theoretic understanding of universal algebra: Lawvere theories and monads
• Algebraic theories. A categorical introduction to general algebra. With a foreword by F. W. Lawvere
• Title not available (Why is that?)
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Title not available (Why is that?)
• Elements of a theory of algebraic theories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Classical lambda calculus in modern dress

Cited In (7)

• Title not available (Why is that?)
• An MU-analogue of the lambda algebra
• On the representation of semigroups and other congruences in the lambda calculus
• On strictifying extensional reflexivity in compact closed categories
• Lambda‐Algebras and C‐Monoids
• Clones, closed categories, and combinatory logic
• The linear-non-linear substitution 2-monad

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

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