Description
Known for his contributions to the theory of structured programming, constructive mathematics, combinatory logic, lambda-calculus, and the semantics and implementation of functional programming languages, Böhm was a computer scientist and Professor Emeritus at the University of Rome "La Sapienza."
Böhm was also an author and co-author of several publications, including "On a family of Turing machines and the related programming language." A special issue of Theoretical Computer Science was dedicated to him on the occasion of his 70th birthday.
