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.
New to topics? Read the docs here!