On the representation of semigroups and other congruences in the lambda calculus

DOI10.1016/J.ENTCS.2016.09.044zbMath1394.03028OpenAlexW2528803252WikidataQ113317628 ScholiaQ113317628MaRDI QIDQ1744394

Richard Statman

Publication date: 23 April 2018

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

zbMATH Keywords

semigroupsrepresentationlambda calculus

Mathematics Subject Classification ID

Free semigroups, generators and relations, word problems (20M05) Word problems, etc. in computability and recursion theory (03D40) Combinatory logic and lambda calculus (03B40)

Cites Work

• Some examples of non-existent combinators
• Cartesian Monoids
• Unnamed Item
• Unnamed Item

This page was built for publication: On the representation of semigroups and other congruences in the lambda calculus