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.045452833175659s
fmsppl-page-output: 1x 0.038972139358521s
t_/pages/fms-person-json: 1x 0.038934946060181s
t_/blocks/person-card-json: 1x 0.023775100708008s
headline: 5x 0.016164064407349s
t_/common/header: 1x 0.014075994491577s
router_page: 1x 0.005328893661499s
t_/common/head: 1x 0.0010900497436523s
head-facts: 1x 0.0010569095611572s
t_/common/footer: 1x 0.00064587593078613s
t_/common/searcher-result: 1x 2.5033950805664E-5s
----- END OF DUMP (2024-06-02 07:38:06)  -----