scientific article; zbMATH DE number 1086683

MaRDI QIDQ4362934zbMATH OpenFDO

Authors Richard Statman

Publication date 12 March 1998

zbMATH Keywords

Cartesian monoidfree Cartesian monoidFreyd-Heller grouplambda calculusmatchingsurjective pairingundecidabilityunification

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Other algebras related to logic (03G25)

Recommendations

• Cartesian monoids
• Cartan invariant matrices for finite monoids
• CARTAN SUBMONOIDS OF ALGEBRAIC MONOIDS
• Comultiplication on monoids
• On monoid graphs
• On formations of monoids
• Realization of monoids on sets
• On graph products of monoids
• On congruence compact monoids
• On lattice-ordered monoids

Cited in

(8)

• On the representation of semigroups and other congruences in the lambda calculus
• Cartesian monoids
• Realization of monoids on sets
• scientific article; zbMATH DE number 4127172 (Why is no real title available?)
• CARTAN SUBMONOIDS OF ALGEBRAIC MONOIDS
• Products in a category with only one object
• On Barron and Strachey's Cartesian product function
• Monoids on the 2-disk

This page was built for publication:

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