Church's Semigroup Is Sq-Universal.

DOI10.4230/LIPICS.FSCD.2021.6OpenAlexW3183641541MaRDI QIDQ6159920

Richard Statman

Publication date: 23 June 2023

Full work available at URL: https://doi.org/10.4230/LIPIcs.FSCD.2021.6

zbMATH Keywords

lambda calculusChurch's semigroupsq-universal

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx) Computer science (68-XX)

Recommendations

• Semigroups presented by one relation and satisfying the Church-Rosser property 👍 👎
• The universal semilattice compactification of a semigroup 👍 👎
• Semigroups with finitely generated universal left congruence 👍 👎
• Universal semigroups 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Church's Semigroup Is Sq-Universal.

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