Corrado Böhm (born 1923 in Milan, Italy), Professor Emeritus at the University of Rome "La Sapienza", is a computer scientist known especially for his contributions to the theory of structured programming, constructive mathematics, combinatory logic, lambda-calculus, and the semantics and implementation of functional programming languages. A special issue of Theoretical Computer Science was dedicated to him on the occasion of his 70 birthday.
Read article at Wikipedia
Date of birth:
- 1923 (age 87 years)
Also known as:
- Corrado Bohm
