Corrado Böhm

Corrado Böhm was an Italian computer scientist and mathematician. He made significant contributions to the field of programming languages and formal methods. Böhm is known for his work on lambda calculus, term rewriting systems, and his development of the Böhm tree, which is used in the study of computational complexity.

Known for his contributions to theoretical computer science. He developed the SKI combinator calculus, made advancements in lambda calculus, and contributed to formal language theory. His work influenced programming languages and computability theory.

Corrado Böhm was an Italian computer scientist and Professor Emeritus at the University of Rome "La Sapienza", 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.