Algebra of self-replication

DOI10.46298/ENTICS.12320MaRDI QIDQ6831462zbMATH OpenFDO

Authors Lawrence S. Moss

Publication date 2 April 2026

Copyright license Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International

Full work available at URL https://doi.org/10.46298/ENTICS.12320

zbMATH Keywords

combinatory logicdecidable equational logicKleene's recursion theoremquine programsterm rewriting

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Cites work

• A Classification of Viruses Through Recursion Theorems
• A Swiss pocket knife for computability
• Analyzing program termination and complexity automatically with \textsf{AProVE}
• Combinatory logic. Pure, applied and typed
• Conditional confluence (system description)
• Dominical categories: recursion theory without elements
• scientific article; zbMATH DE number 5605095 (Why is no real title available?)
• scientific article; zbMATH DE number 3911679 (Why is no real title available?)
• Kleene's amazing second recursion theorem
• On notation for ordinal numbers.
• Substructural fixed-point theorems and the diagonal argument: theme and variations
• The combinator S
• The word problem for Smullyan's lark combinator is decidable
• Unsolvable problems for equational theories

This page was built for publication: Algebra of self-replication

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