Stephen C. Kleene

January 5, 1909 – January 25, 1994

American mathematician who helped lay the foundations for theoretical computer science.

• Formalized Recursive Functionals and Formalized Realizability (Memoirs; No. 1/89)