Constructing a Quine from Kleene's Second Recursion Theorem

(emarzion.github.io)

19 points | by mkckto 12 hours ago

2 comments

rssoconnor 9 hours ago
Here is a formalization (not mine) of the second recursion theorem in Agda for a somewhat more elaborate language: https://hub.darcs.net/dolio/agda-share/browse/cubical/Kleene...
AlienMuse 7 hours ago
[flagged]