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,
Información General
.
Hombre
Lugar de nacimiento
Kingdom of the Netherlands, Netherlands, North Holland
Redes sociales , Enlaces
Interés
Loading Chart...
Listas
    index: 1x 0.037882089614868s
fmsppl-page-output: 1x 0.027585029602051s
t_/pages/fms-person-json: 1x 0.027559995651245s
t_/blocks/person-card-json: 1x 0.016557931900024s
headline: 5x 0.012259244918823s
t_/common/header: 1x 0.0098059177398682s
router_page: 1x 0.0096638202667236s
t_/common/head: 1x 0.0012319087982178s
head-facts: 1x 0.001201868057251s
t_/common/footer: 1x 0.00045895576477051s
t_/common/searcher-result: 1x 2.0027160644531E-5s
----- END OF DUMP (2026-04-14 22:05:04)  -----