Constructing a Quine from Kleene's Second Recursion Theorem 3 hours ago (emarzion.github.io) 1 comment mkckto Reply Add to library rssoconnor 22 minutes 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...
rssoconnor 22 minutes 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...
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...