Henk Barendregt is a prominent Dutch mathematician and computer scientist known for his contributions to the fields of logic, type theory, and lambda calculus. He has worked extensively on topics related to the foundations of mathematics, automated theorem proving, and the formalization of mathematical concepts. Barendregt is particularly recognized for his work on the untyped and typed lambda calculi, as well as for his role in the development of proof assistants and formal verification methods.
Articles by others on the same topic
There are currently no matching articles.