Cartesian monoids

DOI10.1016/J.ENTCS.2010.08.026MaRDI QIDQ3178269zbMATH OpenOpenAlexFDO

Authors Richard Statman

Publication date 8 July 2016

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

arithmetical hierarchyCartesian monoids

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Other algebras related to logic (03G25) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 1086683
• scientific article; zbMATH DE number 845929
• Products in a category with only one object
• Fixed points and closure operators: Programmological aspects
• Notions of computation as monoids

Cites work

• Can programming be liberated from the von Neumann style?
• Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 4010480 (Why is no real title available?)
• scientific article; zbMATH DE number 4048997 (Why is no real title available?)
• scientific article; zbMATH DE number 3670685 (Why is no real title available?)
• scientific article; zbMATH DE number 1086683 (Why is no real title available?)
• scientific article; zbMATH DE number 3304992 (Why is no real title available?)
• scientific article; zbMATH DE number 2209676 (Why is no real title available?)
• Introductory notes on Richard Thompson's groups
• Splitting homotopy idempotents. II

Cited in

(5)

• On the representation of semigroups and other congruences in the lambda calculus
• scientific article; zbMATH DE number 1086683 (Why is no real title available?)
• CARTAN SUBMONOIDS OF ALGEBRAIC MONOIDS
• The polycyclic inverse monoids and the Thompson groups revisited
• On Barron and Strachey's Cartesian product function

This page was built for publication: Cartesian monoids

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