Turing reduction
article-link
What links here
Smn theorem
List of theorems
article-link
Kleene's recursion theorem
article-link
Partial evaluation
article-link
Turing completeness
article-link
Stephen Cole Kleene
article-link
Currying
article-link
Parameter theorem
redirect