Career
His research involves lambda calculus, type theory and combinatory algebra. In 1974, Statman received his Doctor of Philosophy from Stanford University for his Doctor of Philosophy dissertation, supervised by Georg Kreisel, entitled Structural Complexity of Proofs.
