Towards a notion of lambda monoid

DOI10.1016/J.ENTCS.2014.02.004MaRDI QIDQ280190zbMATH OpenOpenAlexWikidataFDO

Authors Martin Hyland

Publication date 6 May 2016

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

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)

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

Cites work

• scientific article; zbMATH DE number 432742 (Why is no real title available?)
• scientific article; zbMATH DE number 2125670 (Why is no real title available?)
• scientific article; zbMATH DE number 3889500 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• Algebraic theories. A categorical introduction to general algebra. With a foreword by F. W. Lawvere
• Classical lambda calculus in modern dress
• Elements of a theory of algebraic theories
• The category theoretic understanding of universal algebra: Lawvere theories and monads
• The lambda calculus. Its syntax and semantics. Rev. ed.

Cited in

(7)

• Lambda‐Algebras and C‐Monoids
• scientific article; zbMATH DE number 4127172 (Why is no real title available?)
• Clones, closed categories, and combinatory logic
• On strictifying extensional reflexivity in compact closed categories
• The linear-non-linear substitution 2-monad
• On the representation of semigroups and other congruences in the lambda calculus
• An MU-analogue of the lambda algebra

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)