スティーヴン・コール・クリーネ（Stephen Cole Kleene）

カリー化（currying）

クリーネの再帰定理（Kleene's recursion theorem）

部分評価（partial evaluation）