Henk Barendregt

Henk Barendregt

Hendrik Pieter (Henk) Barendregt is a Dutch logician, known for his work in lambda calculus and type theory.

From *.wikipedia.org,

General Info

.

Male

Birth Place

Kingdom of the Netherlands, Netherlands, North Holland

Social Networks , Links

Wikipedia

Google

Interest

Loading Chart...

Lists

• List of famous people named Henk
• List of famous people with last name Barendregt
• List of famous people born in North Holland, Kingdom of the Netherlands
• List of famous people born in Netherlands, Kingdom of the Netherlands
• List of famous people born in Kingdom of the Netherlands

    index: 1x 0.021837949752808s
fmsppl-page-output: 1x 0.018399000167847s
t_/pages/fms-person-json: 1x 0.018376111984253s
t_/blocks/person-card-json: 1x 0.009768009185791s
t_/common/header: 1x 0.0079350471496582s
headline: 5x 0.0063481330871582s
router_page: 1x 0.0028431415557861s
t_/common/head: 1x 0.00074410438537598s
head-facts: 1x 0.00071287155151367s
t_/common/footer: 1x 0.00042891502380371s
t_/common/searcher-result: 1x 1.3113021850586E-5s
----- END OF DUMP (2026-10-13 16:17:10)  -----