Corrado Böhm (1923–2021) was an influential Italian mathematician and computer scientist known for his contributions to the field of theoretical computer science, particularly in the areas of programming languages, formal methods, and the foundation of computation. He is recognized for his work on the lambda calculus, type theory, and programming semantics.
Articles by others on the same topic
There are currently no matching articles.