Barendregt, H. P. (Hendrik Pieter)
Overview
Works:  58 works in 225 publications in 3 languages and 1,911 library holdings 

Genres:  Conference papers and proceedings 
Roles:  Author, Editor, Correspondent, Other, Recipient 
Publication Timeline
.
Most widely held works by
H. P Barendregt
The lambda calculus : its syntax and semantics by
H. P Barendregt(
Book
)
71 editions published between 1981 and 2012 in English and Undetermined and held by 838 WorldCat member libraries worldwide
The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications are given of those parts of the book which can be used to form a coherent course. (A cura dell'editore)
71 editions published between 1981 and 2012 in English and Undetermined and held by 838 WorldCat member libraries worldwide
The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications are given of those parts of the book which can be used to form a coherent course. (A cura dell'editore)
Types for proofs and programs : international workshop TYPES '93, Nijmegen, the Netherlands, May 2428, 1993 : selected papers by
H. P Barendregt(
Book
)
22 editions published between 1993 and 1994 in English and held by 272 WorldCat member libraries worldwide
"This volume contains thoroughly refereed and revised full papers selected from the presentations at the first workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Nijmegen, The Netherlands, in May 1993. As the whole ESPRIT BRA 6453, this volume is devoted to the theoretical foundations, design and applications of systems for theory development. Such systems help in designing mathematical axiomatisation, performing computeraided logical reasoning, and managing databases of mathematical facts; they are also known as proof assistants or proof checkers."Publisher's Website
22 editions published between 1993 and 1994 in English and held by 272 WorldCat member libraries worldwide
"This volume contains thoroughly refereed and revised full papers selected from the presentations at the first workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Nijmegen, The Netherlands, in May 1993. As the whole ESPRIT BRA 6453, this volume is devoted to the theoretical foundations, design and applications of systems for theory development. Such systems help in designing mathematical axiomatisation, performing computeraided logical reasoning, and managing databases of mathematical facts; they are also known as proof assistants or proof checkers."Publisher's Website
Lambda calculus with types by
H. P Barendregt(
Book
)
20 editions published between 2011 and 2016 in English and Undetermined and held by 153 WorldCat member libraries worldwide
"This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. ... In this book, the authors focus on three classes of typing for lambda terms: simple types, recursive types and intersection types. ... The treatment is authoritative and comprehensive, complemented by an exhaustive bibliography, and numerous exercises are provided to deepen the readers' understanding and increase their confidence using types."Page 4 of cover
20 editions published between 2011 and 2016 in English and Undetermined and held by 153 WorldCat member libraries worldwide
"This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. ... In this book, the authors focus on three classes of typing for lambda terms: simple types, recursive types and intersection types. ... The treatment is authoritative and comprehensive, complemented by an exhaustive bibliography, and numerous exercises are provided to deepen the readers' understanding and increase their confidence using types."Page 4 of cover
The incompleteness theorems by
H. P Barendregt(
Book
)
5 editions published in 1976 in English and held by 39 WorldCat member libraries worldwide
5 editions published in 1976 in English and held by 39 WorldCat member libraries worldwide
Types for proofs and programs : international workshop TYPES '95, Torino, Italy, June 58, 1995 : selected papers by
Peter Dybjer(
Book
)
8 editions published between 1994 and 2002 in English and held by 22 WorldCat member libraries worldwide
This book constitutes the thoroughly refereed postworkshop proceedings of the Third International Workshop, TYPES'99, organized by the ESPRIT Working Group 21900, in Lökeberg, Sweden, in June 1999. The 11 revised full papers presented in the volume were carefully reviewed and selected during two rounds of refereeing. All current issues on type theory and type systems and their applications to programming and proof theory are addressed
8 editions published between 1994 and 2002 in English and held by 22 WorldCat member libraries worldwide
This book constitutes the thoroughly refereed postworkshop proceedings of the Third International Workshop, TYPES'99, organized by the ESPRIT Working Group 21900, in Lökeberg, Sweden, in June 1999. The 11 revised full papers presented in the volume were carefully reviewed and selected during two rounds of refereeing. All current issues on type theory and type systems and their applications to programming and proof theory are addressed
Some extensional term models for combinatory logics and lambdacalculi by
H. P Barendregt(
Book
)
9 editions published between 1971 and 2006 in English and held by 20 WorldCat member libraries worldwide
9 editions published between 1971 and 2006 in English and held by 20 WorldCat member libraries worldwide
Types for proofs and programs International Workshop TYPES '93, Nijmegen, The Netherlands, May 24  28, 1993 ; selected papers(
)
1 edition published in 1994 in English and held by 19 WorldCat member libraries worldwide
1 edition published in 1994 in English and held by 19 WorldCat member libraries worldwide
Grondslagen van de informatica by
H. P Barendregt(
Book
)
4 editions published in 1987 in Dutch and English and held by 13 WorldCat member libraries worldwide
4 editions published in 1987 in Dutch and English and held by 13 WorldCat member libraries worldwide
Termination for direct sums of leftlinear complete term rewriting systems by
Y Toyama(
Book
)
7 editions published in 1989 in English and held by 13 WorldCat member libraries worldwide
Abstract: "A Term Rewriting System is called complete if it is confluent and terminating. We prove that completeness of TRSs is a 'modular' property (meaning that it stays preserved under direct sums), provided the constituent TRSs are leftlinear. Here the direct sum [formula] is the union of TRSs R[subscript 0], R[subscript 1] with disjoint signature. The proof hinges crucially upon the (non)deterministic collapsing behaviour of terms from the sum TRS."
7 editions published in 1989 in English and held by 13 WorldCat member libraries worldwide
Abstract: "A Term Rewriting System is called complete if it is confluent and terminating. We prove that completeness of TRSs is a 'modular' property (meaning that it stays preserved under direct sums), provided the constituent TRSs are leftlinear. Here the direct sum [formula] is the union of TRSs R[subscript 0], R[subscript 1] with disjoint signature. The proof hinges crucially upon the (non)deterministic collapsing behaviour of terms from the sum TRS."
Needed reduction and spine strategies for the lambda calculus by
H. P Barendregt(
Book
)
6 editions published in 1986 in English and held by 13 WorldCat member libraries worldwide
6 editions published in 1986 in English and held by 13 WorldCat member libraries worldwide
Dirk van Dalen Festschrift(
Book
)
3 editions published in 1993 in English and held by 12 WorldCat member libraries worldwide
3 editions published in 1993 in English and held by 12 WorldCat member libraries worldwide
Computable processes by
H. P Barendregt(
Book
)
7 editions published in 1994 in English and Undetermined and held by 12 WorldCat member libraries worldwide
Abstract: "The notions of a (digital synchronous) computable process and the corresponding process control machine are introduced. These concepts are generalizations of the notions of computable function and, say, register machine. Emphasis is put on the difference between the specification, the design, the behaviour, and the realization of computable processes."
7 editions published in 1994 in English and Undetermined and held by 12 WorldCat member libraries worldwide
Abstract: "The notions of a (digital synchronous) computable process and the corresponding process control machine are introduced. These concepts are generalizations of the notions of computable function and, say, register machine. Emphasis is put on the difference between the specification, the design, the behaviour, and the realization of computable processes."
Some extensional term models for combinatory logics and [lambda]calculi by
H. P Barendregt(
Book
)
3 editions published in 1971 in English and held by 12 WorldCat member libraries worldwide
3 editions published in 1971 in English and held by 12 WorldCat member libraries worldwide
Lambdaisčislenie : ego sintaksis i semantika by
H. P Barendregt(
Book
)
5 editions published in 1985 in Russian and Undetermined and held by 10 WorldCat member libraries worldwide
5 editions published in 1985 in Russian and Undetermined and held by 10 WorldCat member libraries worldwide
On the interpretation of terms without a normal form by
H. P Barendregt(
Book
)
4 editions published in 1971 in English and held by 8 WorldCat member libraries worldwide
4 editions published in 1971 in English and held by 8 WorldCat member libraries worldwide
Handboek Wabo : herziene druk by
H. P Barendregt(
Book
)
1 edition published in 2010 in Dutch and held by 5 WorldCat member libraries worldwide
1 edition published in 2010 in Dutch and held by 5 WorldCat member libraries worldwide
Some extensional term models for combinatory logics and [labda]calculi by
H. P Barendregt(
Book
)
1 edition published in 1971 in English and held by 5 WorldCat member libraries worldwide
1 edition published in 1971 in English and held by 5 WorldCat member libraries worldwide
Recursion theoretic operators and morphisms on numbered sets by
H. P Barendregt(
Book
)
1 edition published in 1981 in English and held by 4 WorldCat member libraries worldwide
1 edition published in 1981 in English and held by 4 WorldCat member libraries worldwide
De Dimorphie van het Ifs en de Alcoholhydrantkwestie by
H. P Barendregt(
Book
)
1 edition published in 1896 in Dutch and held by 4 WorldCat member libraries worldwide
1 edition published in 1896 in Dutch and held by 4 WorldCat member libraries worldwide
Some extensional term models for combinatory logics and [lambda]calculi by
H. P Barendregt(
Book
)
3 editions published in 1971 in English and Dutch and held by 4 WorldCat member libraries worldwide
3 editions published in 1971 in English and Dutch and held by 4 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Nipkow, Tobias 1958 Other Editor
 Dekkers, Wil
 Statman, Richard
 Alessi, Fabio
 Association for Symbolic Logic Publisher
 Klop, J. W.
 Dalen, D. van (Dirk) 1932 Author
 Statman, Rick
 Toyama, Y. Author
 Wupper, Hanno
Useful Links
Associated Subjects
Artificial intelligence Automatic theorem proving Combinatory logic Computer programming Computer programs Computer science Incompleteness theorems Lambda calculus Lambda calculus Logic, Symbolic and mathematical Logic design Metamathematics Realtime programming Recursion theory Recursive functions Rewriting systems (Computer science) Software engineering Type theory
Alternative Names
Barendregt, Ch.
Barendregt, H.
Barendregt, H. P.
Barendregt, H.P. 1947
Barendregt, Hendrik P.
Barendregt, Hendrik Pieter.
Barendregt, Hendrik Pieter 1947
Barendregt Henk
Barendregt, Henk 1947
Barendregt, Henk P.
Barendregt, Henk P. 1947
Barendregt, Henk Pieter 1947
Henk Barendregt Dutch mathematician
Henk Barendregt matemático neerlandés
Henk Barendregt mathématicien néerlandais
Henk Barendregt nederländsk datavetare och matematiker
Henk Barendregt nederlandsk informatikar og matematikar
Henk Barendregt nederlandsk informatiker og matematiker
Henk Barendregt niederländischer mathematischer Logiker
Хенк Барендрегт нидерландский математик и логик
ヘンク・バレンドレクト
Languages
Covers