James Hiram Morris

1941

• Lambda-calculus models of programming languages