×

zbMATH — the first resource for mathematics

Barendregt, Hendrik Pieter

Compute Distance To:
Author ID: barendregt.henk Recent zbMATH articles by "Barendregt, Hendrik Pieter"
Published as: Barendregt, Henk; Barendregt, H. P.; Barendregt, Henk P.; Barendregt, H.
Homepage: http://www.cs.kun.nl/~henk/
External Links: MGP · ORCID · Wikidata · dblp · GND · IdRef
Documents Indexed: 66 Publications since 1973, including 7 Books

Publications by Year

Citations contained in zbMATH Open

53 Publications have been cited 1,173 times in 956 Documents Cited by Year
The lambda calculus. Its syntax and semantics. Rev. ed. Zbl 0551.03007
Barendregt, H. P.
434
1984
The lambda calculus, its syntax and semantics. Zbl 0467.03010
Barendregt, H. P.
169
1981
A filter lambda model and the completeness of type assignment. Zbl 0545.03004
Barendregt, Henk; Coppo, Mario; Dezani-Ciancaglini, Mariangiola
132
1983
Introduction to lambda calculus. Zbl 0549.03012
Barendregt, H. P.
53
1984
The lambda calculus, its syntax and semantics. (Lambda-ischislenie. Ego sintaksis i semantika). Transl. from the English. Zbl 0597.03009
Barendregt, H. P.
36
1985
LEAN: An intermediate language based on graph rewriting. Zbl 0681.68037
Barendregt, H. P.; van Eekelen, M. C. J. D.; Plasmeijer, M. J.; Glauert, J. R. W.; Kennaway, J. R.; Sleep, M. R.
30
1989
Introduction to generalized type systems. Zbl 0931.03019
Barendregt, Henk
27
1991
Termination for direct sums of left-linear complete term rewriting systems. Zbl 0885.68093
Toyama, Y.; Klop, J. W.; Barendregt, H. P.
23
1995
Theoretical pearls: Representing ‘undefined’ in lambda calculus. Zbl 0816.03007
Barendregt, Henk
22
1992
Lambda calculus with types. With contributions from Fabio Alessi, Henk Barendregt, Marc Bezem, Felice Cardone, Mario Coppo, Wil Dekkers, Mariangiola Dezani-Ciancaglini, Gilles Dowek, Silvia Ghilezan, Furio Honsell, Michael Moortgat, Paula Severi, Richard Statman, Paweł Urzyczyn. Zbl 1347.03001
Barendregt, Henk; Dekkers, Wil; Statman, Richard
20
2013
Lambda calculus and its models. Zbl 0558.03006
Barendregt, Henk
19
1984
Autarkic computations in formal proofs. Zbl 1002.68156
Barendregt, Henk; Barendsen, Erik
16
2002
Solvability in lambda calculi. Zbl 0445.03005
Barendregt, H.
14
1977
Functional programming and lambda calculus. Zbl 0900.68110
Barendregt, H. P.
13
1990
Proof-assistants using dependent type systems. Zbl 1005.03011
Barendregt, Henk; Geuvers, Herman
13
2001
The lambda calculus, its syntax and semantics. Reprint of the 1984 revised ed. Zbl 1267.03034
Barendregt, Henk P.
11
2012
Needed reduction and spine strategies for the lambda calculus. Zbl 0635.03009
Barendregt, H. P.; Kennaway, J. R.; Klop, J. W.; Sleep, M. R.
11
1987
The challenge of computer mathematics. Zbl 1152.03304
Barendregt, Henk; Wiedijk, Freek
9
2005
Pairing without conventional restraints. Zbl 0299.02030
Barendregt, Henk
9
1974
Lambda terms for natural deduction, sequent calculus and cut elimination. Zbl 0949.03055
Barendregt, Henk; Ghilezan, Silvia
9
2000
The impact of the lambda calculus in logic and computer science. Zbl 0887.03008
Barendregt, Henk
8
1997
Self-interpretation in lambda calculus. Zbl 1159.03304
Barendregt, Henk
8
1991
Representability in lambda algebras. Zbl 0399.03013
Barendregt, Henk; Bergstra, Jan; Klop, Jan Willem; Volken, Henri
7
1976
Constructive proofs of the range property in lambda calculus. Zbl 0796.03020
Barendregt, Henk
6
1993
Semantics for classical AUTOMATH und related systems. Zbl 0564.68060
Barendregt, Henk; Rezus, Adrian
6
1983
A global representation of the recursive functions in the \(\lambda\)- calculus. Zbl 0375.02013
Barendregt, Henk
5
1977
Types in lambda calculi and programming languages. Zbl 0770.03005
Barendregt, Henk; Hemerik, Kees
5
1990
Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants. Zbl 1074.68077
Barendregt, Henk; Cohen, Arjeh M.
4
2001
Applications of infinitary lambda calculus. Zbl 1167.03010
Barendregt, Henk; Klop, Jan Willem
4
2009
Automata theoretic account of proof search. Zbl 1434.03060
Schubert, Aleksy; Dekkers, Wil; Barendregt, Henk P.
3
2015
Degrees of sensible lambda theories. Zbl 0408.03012
Barendregt, Henk; Bergstra, Jan; Klop, Jan Willem; Volken, Henri
3
1978
Normed uniformly reflexive structures. Zbl 0333.02021
Barendregt, Henk
3
1975
Systems of illative combinatory logic complete for first-order propositional and predicate calculus. Zbl 0791.03006
Barendregt, Henk; Bunder, Martin; Dekkers, Wil
3
1993
Towards an interactive mathematical proof mode. Zbl 1063.68088
Barendregt, Henk
3
2003
A two-level approach towards lean proof-checking. Zbl 1407.68431
Barthe, Gilles; Ruys, Mark; Barendregt, Henk
3
1996
Loader and Urzyczyn are logically related. Zbl 1367.03032
Salvati, Sylvain; Manzonetto, Giulio; Gehrke, Mai; Barendregt, Henk
3
2012
Böhm’s theorem, Church’s delta, numeral systems, and Ershov morphisms. Zbl 1171.03310
Statman, Richard; Barendregt, Henk
2
2005
Are there countable topological combinatory algebras? Zbl 0614.54010
Barendregt, Henk; van Mill, Jan
2
1986
Recursion theoretic operators and morphisms on numbered sets. Zbl 0548.03023
Barendregt, Henk; Longo, Giuseppe
2
1983
Theoretical pearls: Enumerators of lambda terms are reducing. Zbl 0816.03006
Barendregt, Henk
2
1992
Enumerators of lambda terms are reducing constructively. Zbl 0819.03004
Barendregt, Henk
2
1995
Combinatory logic and the axiom of choice. Zbl 0274.02010
Barendregt, Henk
2
1973
The incompleteness theorems. Zbl 0323.02057
Barendregt, Henk
2
1976
TYPES ’93, Types for proofs and programs. International Workshop, Nijmegen, the Netherlands, May 24-28, 1993. Selected papers. Zbl 0825.00120
Barendregt, Henk (ed.); Nipkow, Tobias (ed.)
2
1994
Discriminating coded lambda terms. Zbl 1021.03506
Barendregt, Henk
2
2001
Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus. Zbl 0908.03016
Dekkers, Wil; Bunder, Martin; Barendregt, Henk
2
1998
Applications of Plotkin-terms: Partitions and morphisms for closed terms. Zbl 0946.68022
Statman, Richard; Barendregt, Henk
2
1999
Fixed point theorems for precomplete numberings. Zbl 1454.03049
Barendregt, Henk; Terwijn, Sebastiaan A.
2
2019
A characterization of terms of the \(\lambda\)I-calculus having a normal form. Zbl 0279.02013
Barendregt, Henk
1
1973
Combinatory logic and the \(\omega\)-rule. Zbl 0299.02028
Barendregt, Henk
1
1974
Kreisel, lambda calculus, a windmill and a castle. Zbl 0894.01007
Barendregt, Henk
1
1996
Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic. Zbl 0947.03018
Dekkers, Wil; Bunder, Martin; Barendregt, Henk
1
1998
Towards the range property for the lambda theory \(\mathcal H\). Zbl 1145.68008
Barendregt, Henk
1
2008
Fixed point theorems for precomplete numberings. Zbl 1454.03049
Barendregt, Henk; Terwijn, Sebastiaan A.
2
2019
Automata theoretic account of proof search. Zbl 1434.03060
Schubert, Aleksy; Dekkers, Wil; Barendregt, Henk P.
3
2015
Lambda calculus with types. With contributions from Fabio Alessi, Henk Barendregt, Marc Bezem, Felice Cardone, Mario Coppo, Wil Dekkers, Mariangiola Dezani-Ciancaglini, Gilles Dowek, Silvia Ghilezan, Furio Honsell, Michael Moortgat, Paula Severi, Richard Statman, Paweł Urzyczyn. Zbl 1347.03001
Barendregt, Henk; Dekkers, Wil; Statman, Richard
20
2013
The lambda calculus, its syntax and semantics. Reprint of the 1984 revised ed. Zbl 1267.03034
Barendregt, Henk P.
11
2012
Loader and Urzyczyn are logically related. Zbl 1367.03032
Salvati, Sylvain; Manzonetto, Giulio; Gehrke, Mai; Barendregt, Henk
3
2012
Applications of infinitary lambda calculus. Zbl 1167.03010
Barendregt, Henk; Klop, Jan Willem
4
2009
Towards the range property for the lambda theory \(\mathcal H\). Zbl 1145.68008
Barendregt, Henk
1
2008
The challenge of computer mathematics. Zbl 1152.03304
Barendregt, Henk; Wiedijk, Freek
9
2005
Böhm’s theorem, Church’s delta, numeral systems, and Ershov morphisms. Zbl 1171.03310
Statman, Richard; Barendregt, Henk
2
2005
Towards an interactive mathematical proof mode. Zbl 1063.68088
Barendregt, Henk
3
2003
Autarkic computations in formal proofs. Zbl 1002.68156
Barendregt, Henk; Barendsen, Erik
16
2002
Proof-assistants using dependent type systems. Zbl 1005.03011
Barendregt, Henk; Geuvers, Herman
13
2001
Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants. Zbl 1074.68077
Barendregt, Henk; Cohen, Arjeh M.
4
2001
Discriminating coded lambda terms. Zbl 1021.03506
Barendregt, Henk
2
2001
Lambda terms for natural deduction, sequent calculus and cut elimination. Zbl 0949.03055
Barendregt, Henk; Ghilezan, Silvia
9
2000
Applications of Plotkin-terms: Partitions and morphisms for closed terms. Zbl 0946.68022
Statman, Richard; Barendregt, Henk
2
1999
Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus. Zbl 0908.03016
Dekkers, Wil; Bunder, Martin; Barendregt, Henk
2
1998
Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic. Zbl 0947.03018
Dekkers, Wil; Bunder, Martin; Barendregt, Henk
1
1998
The impact of the lambda calculus in logic and computer science. Zbl 0887.03008
Barendregt, Henk
8
1997
A two-level approach towards lean proof-checking. Zbl 1407.68431
Barthe, Gilles; Ruys, Mark; Barendregt, Henk
3
1996
Kreisel, lambda calculus, a windmill and a castle. Zbl 0894.01007
Barendregt, Henk
1
1996
Termination for direct sums of left-linear complete term rewriting systems. Zbl 0885.68093
Toyama, Y.; Klop, J. W.; Barendregt, H. P.
23
1995
Enumerators of lambda terms are reducing constructively. Zbl 0819.03004
Barendregt, Henk
2
1995
TYPES ’93, Types for proofs and programs. International Workshop, Nijmegen, the Netherlands, May 24-28, 1993. Selected papers. Zbl 0825.00120
Barendregt, Henk; Nipkow, Tobias
2
1994
Constructive proofs of the range property in lambda calculus. Zbl 0796.03020
Barendregt, Henk
6
1993
Systems of illative combinatory logic complete for first-order propositional and predicate calculus. Zbl 0791.03006
Barendregt, Henk; Bunder, Martin; Dekkers, Wil
3
1993
Theoretical pearls: Representing ‘undefined’ in lambda calculus. Zbl 0816.03007
Barendregt, Henk
22
1992
Theoretical pearls: Enumerators of lambda terms are reducing. Zbl 0816.03006
Barendregt, Henk
2
1992
Introduction to generalized type systems. Zbl 0931.03019
Barendregt, Henk
27
1991
Self-interpretation in lambda calculus. Zbl 1159.03304
Barendregt, Henk
8
1991
Functional programming and lambda calculus. Zbl 0900.68110
Barendregt, H. P.
13
1990
Types in lambda calculi and programming languages. Zbl 0770.03005
Barendregt, Henk; Hemerik, Kees
5
1990
LEAN: An intermediate language based on graph rewriting. Zbl 0681.68037
Barendregt, H. P.; van Eekelen, M. C. J. D.; Plasmeijer, M. J.; Glauert, J. R. W.; Kennaway, J. R.; Sleep, M. R.
30
1989
Needed reduction and spine strategies for the lambda calculus. Zbl 0635.03009
Barendregt, H. P.; Kennaway, J. R.; Klop, J. W.; Sleep, M. R.
11
1987
Are there countable topological combinatory algebras? Zbl 0614.54010
Barendregt, Henk; van Mill, Jan
2
1986
The lambda calculus, its syntax and semantics. (Lambda-ischislenie. Ego sintaksis i semantika). Transl. from the English. Zbl 0597.03009
Barendregt, H. P.
36
1985
The lambda calculus. Its syntax and semantics. Rev. ed. Zbl 0551.03007
Barendregt, H. P.
434
1984
Introduction to lambda calculus. Zbl 0549.03012
Barendregt, H. P.
53
1984
Lambda calculus and its models. Zbl 0558.03006
Barendregt, Henk
19
1984
A filter lambda model and the completeness of type assignment. Zbl 0545.03004
Barendregt, Henk; Coppo, Mario; Dezani-Ciancaglini, Mariangiola
132
1983
Semantics for classical AUTOMATH und related systems. Zbl 0564.68060
Barendregt, Henk; Rezus, Adrian
6
1983
Recursion theoretic operators and morphisms on numbered sets. Zbl 0548.03023
Barendregt, Henk; Longo, Giuseppe
2
1983
The lambda calculus, its syntax and semantics. Zbl 0467.03010
Barendregt, H. P.
169
1981
Degrees of sensible lambda theories. Zbl 0408.03012
Barendregt, Henk; Bergstra, Jan; Klop, Jan Willem; Volken, Henri
3
1978
Solvability in lambda calculi. Zbl 0445.03005
Barendregt, H.
14
1977
A global representation of the recursive functions in the \(\lambda\)- calculus. Zbl 0375.02013
Barendregt, Henk
5
1977
Representability in lambda algebras. Zbl 0399.03013
Barendregt, Henk; Bergstra, Jan; Klop, Jan Willem; Volken, Henri
7
1976
The incompleteness theorems. Zbl 0323.02057
Barendregt, Henk
2
1976
Normed uniformly reflexive structures. Zbl 0333.02021
Barendregt, Henk
3
1975
Pairing without conventional restraints. Zbl 0299.02030
Barendregt, Henk
9
1974
Combinatory logic and the \(\omega\)-rule. Zbl 0299.02028
Barendregt, Henk
1
1974
Combinatory logic and the axiom of choice. Zbl 0274.02010
Barendregt, Henk
2
1973
A characterization of terms of the \(\lambda\)I-calculus having a normal form. Zbl 0279.02013
Barendregt, Henk
1
1973
all top 5

Cited by 899 Authors

20 Fernández, Maribel
19 Dezani-Ciancaglini, Mariangiola
17 Klop, Jan Willem
16 van Bakel, Steffen
15 Kesner, Delia
15 Ronchi Della Rocca, Simona
14 Barendregt, Hendrik Pieter
13 Kamareddine, Fairouz D.
13 Manzonetto, Giulio
12 Honsell, Furio
12 Longo, Giuseppe
11 Intrigila, Benedetto
11 Nour, Karim
11 Salibra, Antonino
10 Barbanera, Franco
10 Mackie, Ian
9 Dal Lago, Ugo
9 de’Liguoro, Ugo
9 Fu, Yuxi
9 Gabbay, Murdoch James
8 Abramsky, Samson
8 Schmidt-Schauß, Manfred
8 Statman, Rick
7 Alessi, Fabio
7 Ayala-Rincón, Mauricio
7 Berline, Chantal
7 Bucciarelli, Antonio
7 Coppo, Mario
7 Endrullis, Jörg
7 Fujita, Ken-etsu
7 Ghilezan, Silvia
7 Lenisa, Marina
7 Liquori, Luigi
7 Nederpelt, Rob
7 Yoshida, Nobuko
6 Alves, Sandra
6 Ariola, Zena M.
6 Berardi, Stefano
6 Curien, Pierre-Louis
6 Geuvers, Jan Herman
6 Jacobs, Bart
6 Kirchner, Claude
6 Pitts, Andrew M.
6 Polonsky, Andrew
6 Red’ko, V. N.
6 Salvati, Sylvain
6 Urzyczyn, Paweł
5 de Vries, Fer-Jan J.
5 Di Cosmo, Roberto
5 Hendriks, Dimitri
5 Jay, C. Barry
5 Pagani, Michele
5 Ríos, Alejandro
5 Sabel, David
5 Sinot, François-Régis
5 Sørensen, Morten Heine B.
4 Bezem, Marc
4 Bonelli, Eduardo
4 Bruni, Roberto
4 Bunder, Martin W.
4 Cantini, Andrea
4 Castagna, Giuseppe
4 Cirstea, Horatiu
4 Coquand, Thierry
4 Danvy, Olivier
4 Cavalcanti de Moura, Flávio Leonardo
4 de Vrijer, Roel
4 Ehrhard, Thomas
4 Faure, Germain
4 Florido, Mário
4 Gadducci, Fabio
4 Grue, Klaus E.
4 Hagiya, Masami
4 Hardin, Thérèse
4 Hindley, J. Roger
4 Hofmann, Martin
4 Honda, Kohei
4 Huet, Gerard P.
4 Khasidashvili, Zurab O.
4 Kirchner, Hélène
4 Lescanne, Pierre
4 Margaria, Ines
4 Meyer, Robert Kenneth
4 Miculan, Marino
4 Miller, Dale Allen
4 Miquel, Alexandre
4 Mitchell, John C.
4 Moggi, Eugenio
4 Montanari, Ugo G.
4 Nipkow, Tobias
4 Paolini, Luca
4 Severi, Paula Gabriela
4 Terwijn, Sebastiaan A.
4 Tiuryn, Jerzy
4 Valentini, Silvio
4 van Oostrom, Vincent
4 Zacchi, Maddalena
3 Asperti, Andrea
3 Banach, Richard
3 Barthe, Gilles
...and 799 more Authors
all top 5

Cited in 94 Serials

270 Theoretical Computer Science
79 Information and Computation
51 Annals of Pure and Applied Logic
40 MSCS. Mathematical Structures in Computer Science
32 Journal of Functional Programming
23 Journal of Automated Reasoning
19 Information Processing Letters
19 Logical Methods in Computer Science
15 The Journal of Symbolic Logic
13 Archive for Mathematical Logic
13 Higher-Order and Symbolic Computation
12 Journal of Symbolic Computation
10 Notre Dame Journal of Formal Logic
10 RAIRO. Informatique Théorique et Applications
8 Journal of Computer and System Sciences
8 Cybernetics and Systems Analysis
7 Acta Informatica
7 Studia Logica
7 Formal Aspects of Computing
7 Indagationes Mathematicae. New Series
6 The Bulletin of Symbolic Logic
6 RAIRO. Theoretical Informatics and Applications
5 Journal of Philosophical Logic
5 Journal of Computer Science and Technology
5 The Journal of Logic and Algebraic Programming
5 Journal of Logical and Algebraic Methods in Programming
4 History and Philosophy of Logic
4 Applicable Algebra in Engineering, Communication and Computing
4 Journal of Logic, Language and Information
4 Journal of Applied Logic
3 Fuzzy Sets and Systems
3 RAIRO, Informatique Théorique
3 New Generation Computing
3 Journal of Applied Non-Classical Logics
2 Discrete Applied Mathematics
2 Applied Mathematics and Computation
2 Journal of Pure and Applied Algebra
2 Programming and Computer Software
2 Publications of the Research Institute for Mathematical Sciences, Kyoto University
2 Synthese
2 Transactions of the American Mathematical Society
2 Topology and its Applications
2 Journal of Mathematical Sciences (New York)
2 The Electronic Journal of Combinatorics
2 Annals of Mathematics and Artificial Intelligence
2 Theory of Computing Systems
2 Topoi
2 Lobachevskii Journal of Mathematics
2 Sādhanā
2 Computer Languages, Systems & Structures
2 The Review of Symbolic Logic
2 Journal of Formalized Reasoning
1 Archiv für Mathematische Logik und Grundlagenforschung
1 International Journal of General Systems
1 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV)
1 Letters in Mathematical Physics
1 Physics Letters. A
1 The Mathematical Intelligencer
1 Algebra Universalis
1 Information Sciences
1 Journal of Soviet Mathematics
1 Kybernetika
1 Metroeconomica
1 Semigroup Forum
1 Siberian Mathematical Journal
1 Cybernetics
1 Cybernetics and Systems
1 Science of Computer Programming
1 Japan Journal of Applied Mathematics
1 International Journal of Parallel Programming
1 Computational Geometry
1 International Journal of Algebra and Computation
1 International Journal of Foundations of Computer Science
1 Formal Methods in System Design
1 Applied Categorical Structures
1 Diagrammes
1 Mathematical Logic Quarterly (MLQ)
1 Science in China. Series E
1 Mathematical Problems in Engineering
1 Nonlinear Dynamics
1 Annals of Combinatorics
1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
1 Journal of the European Mathematical Society (JEMS)
1 Foundations of Science
1 Fundamenta Informaticae
1 Theory and Practice of Logic Programming
1 Comptes Rendus. Mathématique. Académie des Sciences, Paris
1 Logica Universalis
1 Vestnik Yuzhno-Ural’skogo Gosudarstvennogo Universiteta. Seriya Matematicheskoe Modelirovanie i Programmirovanie
1 \(p\)-Adic Numbers, Ultrametric Analysis, and Applications
1 RAIRO. Theoretical Informatics and Applications
1 Journal of Theoretical Biology
1 Chamchuri Journal of Mathematics
1 Research in the Mathematical Sciences

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.