Algebra of Self-Replication

Typical arguments for results like Kleene's Second Recursion Theorem and the existence of self-writing computer programs bear the fingerprints of equational reasoning and combinatory logic. In fact, the connection of combinatory logic and computability theory is very old, and this paper extends...

Celý popis

Podrobná bibliografie

Vydáno v:	arXiv.org
Hlavní autor:	Moss, Lawrence S
Médium:	Paper
Jazyk:	angličtina
Vydáno:	Ithaca Cornell University Library, arXiv.org 19.11.2023
Témata:	Canonical forms Classification Existence theorems Fragments Logic Software
ISSN:	2331-8422
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!