# Henk Barendregt

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

*Dutch mathematician*

**Canonical URL:** https://fame.am/person/henk-barendregt

## Identity
- **Profile type:** Academic ([Wikidata](https://www.wikidata.org/entity/Q39631))
- **Category:** Academics
- **Country:** Netherlands
- **Born:** 1947-12-18
- **Status:** living
- **Gender:** male

## Bio

Imported from discovery source: wikidata-dump

## Fame
- **Popularity score:** 41.3 / 100
- **Momentum:** 0.0 / 100  (trend: STABLE)
- **Historical depth:** 7.2 / 100
- **Now attention:** 0.0 / 100
- **Source confidence:** 50.0 / 100
- **Profile completeness:** 75.0 / 100

## Platforms
- **WEBSITE**: http://www.cs.ru.nl/~henk/

## Sources
- [Генк Барендрегт](https://uk.wikipedia.org/wiki/%D0%93%D0%B5%D0%BD%D0%BA_%D0%91%D0%B0%D1%80%D0%B5%D0%BD%D0%B4%D1%80%D0%B5%D0%B3%D1%82)
- [هينك باريندريجت](https://arz.wikipedia.org/wiki/%D9%87%D9%8A%D9%86%D9%83_%D8%A8%D8%A7%D8%B1%D9%8A%D9%86%D8%AF%D8%B1%D9%8A%D8%AC%D8%AA)
- [Henk Barendregt](https://cs.wikipedia.org/wiki/Henk_Barendregt)
- [Henk Barendregt](https://de.wikipedia.org/wiki/Henk_Barendregt)
- [Henk Barendregt](https://en.wikipedia.org/wiki/Henk_Barendregt)
- [Henk Barendregt](https://fr.wikipedia.org/wiki/Henk_Barendregt)
- [Henk Barendregt](https://nl.wikipedia.org/wiki/Henk_Barendregt)
- [Барендрегт, Хенк](https://ru.wikipedia.org/wiki/%D0%91%D0%B0%D1%80%D0%B5%D0%BD%D0%B4%D1%80%D0%B5%D0%B3%D1%82%2C_%D0%A5%D0%B5%D0%BD%D0%BA)
- [Wikidata](https://www.wikidata.org/wiki/Q1847646)

---
Generated by Fame.am · https://fame.am/person/henk-barendregt