Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Henk Barendregt · Vinony

EntityQ1847646· pop 9· linked from 43 articles

Henk Barendregt

Sign in to save

Dutch mathematician

Person · Open Library

Works: 4

Top works

Lambda Calculus Satellite
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971
Lambda Calculus with Types
Types for Proofs and Programs

via Open Library + Wikidata

Music · MusicBrainz

via MusicBrainz · CC0

Recent publications · Crossref

5 total works indexed

LINCS: A linear constraint solver for molecular simulations
· 1997 · cited 14,355x
A Randomized Trial of Intraarterial Treatment for Acute Ischemic Stroke
· 2015 · cited 5,748x
Global, regional, and national life expectancy, all-cause mortality, and cause-specific mortality for 249 causes of death, 1980–2015: a systematic analysis for the Global Burden of Disease Study 2015
· 2016 · cited 5,036x
A First Course in Turbulence
· 1972 · cited 4,515x
Effect of Parathyroid Hormone (1-34) on Fractures and Bone Mineral Density in Postmenopausal Women with Osteoporosis
· 2001 · cited 3,780x

via Crossref · CC0

Connections

International Standard Book Number

Categories

1947 births Academic staff of Radboud University Nijmegen Academic staff of Technische Universität Darmstadt Dutch computer scientists Living people Mathematical logicians Members of Academia Europaea Members of the Royal Netherlands Academy of Arts and Sciences Scientists from Amsterdam Spinoza Prize winners Utrecht University alumni

Sources

wikipedia.externallinksexternallink
crossrefcrossref-works
musicbrainzmusic-artist
Open Libraryauthor-profile

Stanford University

Entity

mathematical logic

Utrecht University

Carnegie Mellon University

lambda calculus

Technical University of Darmstadt

Academia Europaea

Radboud University

Heriot-Watt University

Royal Netherlands Academy of Arts and Sciences

Order of the Netherlands Lion

What links here43 pages

lambda calculus

Radboud University

Scott continuity

Kleene's recursion theorem

proof assistant

typed lambda calculus

Johan Teunis Barendregt

primitive recursive function

Church–Rosser theorem

structured program theorem

combinatory logic

complete partial order

calculus of constructions

natural deduction

fixed-point combinator

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Dirck Rembrantsz van Nierop

Entitydist 0.24

Dirk Jan Struik

Entitydist 0.25

Entitydist 0.25

Entitydist 0.26

Aise Johan de Jong

Entitydist 0.26

Johannes Haantjes

Entitydist 0.26

Entitydist 0.26

Martin van den Hove

Entitydist 0.26

Willem van der Woude

Entitydist 0.26

Entitydist 0.26

Johannes van der Corput

Entitydist 0.27

Entitydist 0.27