Updated: 03/06/2020 by Computer Hope
Name: Corrado Böhm
Born: January 17, 1923, in Milan, Italy
Death: October 23, 2017 (Age: 94)
- Professor Emeritus ("La Sapienza") at the University of Rome.
- Computer scientist known for his contributions to the theory of structured programming, constructive mathematics, lambda calculus, combinatory logic, and the semantics and implementation of functional programming languages.
- Introduced P′′ ("P double-prime"), the first imperative programming language without a GOTO statement proved to be Turing-complete, in 1964.
- Calculatrices digitales. Du déchiffrage des formules mathématiques par la machine même dans la conception du programme (English: Digital calculators. Deciphering mathematical formulas by machine in program design) 1954).
- On a family of Turing machines and the related programming language (1964).
- Alcune proprietà delle forme normali nel K calcolo (English: Properties of normal forms in k-calculus) (1968).
- Automatic Synthesis of typed Lambda-programs on Term Algebras (1985).
- Functional Programming and Combinatory algebras (1988).
Honors and awards
- EATCS Award for a distinguished career in theoretical computer science (2001).