1 citations · 1 across the 5 of their papers we have counts for
1 paper · 1 filter
Lawrence S. Moss
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 combinato…