H
Henk Barendregt
Researcher at Radboud University Nijmegen
Publications - 137
Citations - 8745
Henk Barendregt is an academic researcher from Radboud University Nijmegen. The author has contributed to research in topics: Lambda calculus & Typed lambda calculus. The author has an hindex of 35, co-authored 132 publications receiving 8494 citations. Previous affiliations of Henk Barendregt include University of Wollongong & Stanford University.
Papers
More filters
Book
The Lambda Calculus. Its Syntax and Semantics
TL;DR: In this article, the Lambda-Calculus has been studied as a theory of composition and reduction, and the theory of reduction has been used to construct models of Lambda Theories.
Book
Lambda Calculus with Types
TL;DR: The Lambda Calculus has been extended with types and used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), used in designing and verifying IT products and mathematical proofs.
Journal ArticleDOI
A filter lambda model and the completeness of type assignment
TL;DR: On etend syntaxe et semantique de types Curry de facon que des filtres dans the structure type resultante forment un domaine au sens de Scott.
Book ChapterDOI
Term graph rewriting
Henk Barendregt,M C J D Eekelen,John Glauert,J. R. Kennaway,Marinus J. Plasmeijer,M. R. Sleep +5 more
TL;DR: Graph rewriting (also called reduction) as defined in Wadsworth [1971] was introduced in order to be able to give a more efficient implementation of functional programming languages in the form of lambda calculus or term rewrite systems.