Category:スティーヴン・コール・クリーネ

Kleene star

Stephen Cole Kleene

Smn theorem

Kleene's recursion theorem

Lambda calculus