Henk Barendregt

Henk Barendregt

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

Barendregt studied mathematical logic at Utrecht University, obtaining his Masters in 1968 and his Ph.D. in 1971, both "cum laude", under Dirk van Dalen and Georg Kreisel. After a postdoc at Stanford University, he taught at Utrecht University

Since 1986, Barendregt has taught at Radboud University Nijmegen, where he now holds the Chair of Foundations of Mathematics and Computer Science. His research group works on Constructive Interactive Mathematics. He is also Adjunct Professor at Carnegie Mellon University, Pittsburgh, USA. He has been a visiting scholar at Darmstadt, ETH Zürich, Siena, and Kyoto.

On February 6, 2003, Barendregt was awarded the Spinozapremie for 2002, the highest scientific award in the Netherlands. In 2002, he was knighted in the Orde van de Nederlandse Leeuw.

ee also

*Barendregt's lambda-cube.

Books by Barendregt

*1984. "The Lambda Calculus, Its Syntax and Semantics", Vol. 103 in "Studies in Logic and the Foundations of Mathematics". North-Holland. ISBN 0-444-87508-5

External links

* [http://www.cs.ru.nl/~henk Henk Barendregt's homepage]


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Lambda calculus — In mathematical logic and computer science, lambda calculus, also written as λ calculus, is a formal system designed to investigate function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole… …   Wikipedia

  • Calcul des constructions — Le calcul des constructions (CoC de l anglais calculus of constructions) est un lambda calcul typé d ordre supérieur dans lequel les types sont des valeurs de première classe. Il est par conséquent possible, dans le CoC, de définir des fonctions… …   Wikipédia en Français

  • Lambda cube — In mathematical logic and type theory, the λ cube is a framework for exploring the axes of refinement in Coquand s calculus of constructions, starting from the simply typed lambda calculus as the vertex of a cube placed at the origin, and the… …   Wikipedia

  • Лямбда-куб — Лямбда куб. Стрелка вдоль каждого ребра указывает на направление включения; более простая система является частным случаем более сложной. Лямбда куб (λ куб) задает единообразное описание восьми различных систем типизированного лямбда исчисления с …   Википедия

  • Lambda cube — Initialement proposé par Henk Barendregt[1], le λ cube permet de visualiser les différentes dimensions pour lesquelles le Calcul des constructions apporte une généralisation par rapport au lambda calcul simplement typé où un terme ne peut… …   Wikipédia en Français

  • Typed lambda calculus — A typed lambda calculus is a typed formalism that uses the lambda symbol (lambda) to denote anonymous function abstraction. Typed lambda calculi are foundational programming languages and are the base of typed functional programming languages… …   Wikipedia

  • Dependent type — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing …   Wikipedia

  • Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… …   Wikipedia

  • List of logicians — A logician is a person, such as a philosopher or mathematician, whose topic of scholarly study is logic. The famous logicians are listed below in English alphabetical transliteration order (by surname).compactTOC NOTOC A * Nate Ackerman (USA,… …   Wikipedia

  • Radboud University Nijmegen — Infobox University name =Radboud University Nijmegen native name =Radboud Universiteit Nijmegen latin name =Universitas Noviomagensis motto =In Dei nomine feliciter (Happily in God s name) established =1923 type =Public, Catholic endowment =… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”