Henk Barendregt

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
Interest
Loading Chart...
Lists
    index: 1x 0.046347856521606s
fmsppl-page-output: 1x 0.03731894493103s
t_/pages/fms-person-json: 1x 0.037279844284058s
t_/blocks/person-card-json: 1x 0.021063089370728s
t_/common/header: 1x 0.01531195640564s
headline: 5x 0.011836051940918s
router_page: 1x 0.0078458786010742s
t_/common/head: 1x 0.0028390884399414s
head-facts: 1x 0.0027961730957031s
t_/common/footer: 1x 0.00056886672973633s
t_/common/searcher-result: 1x 2.0980834960938E-5s
----- END OF DUMP (2024-10-31 23:46:10)  -----