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...
Saved in:
| Published in: | Electronic Notes in Theoretical Informatics and Computer Science Vol. 3 - Proceedings of... |
|---|---|
| Main Author: | |
| Format: | Journal Article |
| Language: | English |
| Published: |
23.11.2023
|
| ISSN: | 2969-2431, 2969-2431 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Be the first to leave a comment!