Corrado Böhm, 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<sup>th</sup> birthday. Wikipedia
The definitive Wikipedia entry for Corrado Böhm. Wikipedia is the biggest multilingual free-content encyclopedia on the Internet. en.wikipedia.org/wiki/Corrado_B%c3%b6hm
