bn:01644106n
Noun Concept
Categories: Articles with example Lisp code, Theorems in theory of computation, Computability theory
EN
Smn theorem  sₘₙ theorem  Kleene's s-m-n Theorem  Parameter theorem  Parameterization theorem
EN
In computability theory the S mn theorem, is a basic result about programming languages. Wikipedia
Definitions
Relations
Sources