| The lambda calculus HP Barendregt North-Holland, 1984 | 6939 | 1984 |
| Term graph rewriting HP Barendregt, MCJD van Eekelen, JRW Glauert, JR Kennaway, ... Berlin: Springer, 1987 | 504 | 1987 |
| Lambda calculus with types HP Barendregt, W Dekkers, R Statman Cambridge University Press, 2013 | 427 | 2013 |
| Functional programming and lambda calculus HP Barendregt Formal models and semantics, 321-363, 1990 | 148 | 1990 |
| Lambda Calculi with Types, Handbook of Logic in Computer Science Vol. II HP Barendregt Oxford University Press, 1992 | 115 | 1992 |
| Needed reduction and spine strategies for the lambda calculus HP Barendregt, JR Kennaway, JW Klop, MR Sleep Information and Computation 75 (3), 191-231, 1987 | 102 | 1987 |
| Termination for the direct sum of left-linear term rewriting systems: Preliminary draft Y Toyama, JW Klop, HP Barendregt Rewriting Techniques and Applications: 3rd International Conference, RTA-89 …, 1989 | 90 | 1989 |
| Some extensional term models for combinatory logics and lambda-calculi HP Barendregt Utrecht: Rijksuniversiteit Utrecht, 1971 | 88* | 1971 |
| Towards an intermediate language based on graph rewriting HP Barendregt, MCJD van Eekelen, JRW Glauert, JR Kennaway, ... PARLE Parallel Architectures and Languages Europe: Volume II: Parallel …, 1987 | 58 | 1987 |
| Degrees, reductions and representability in the lambda calculus HP Barendregt, J Bergstra, JW Klop, H Volken Utrecht: University [of] Utrecht, Department of Mathematics, 1976 | 56 | 1976 |
| Termination for direct sums of left-linear complete term rewriting systems Y Toyama, JW Klop, HP Barendregt Journal of the ACM (JACM) 42 (6), 1275-1304, 1995 | 52 | 1995 |
| The lambda calculus, volume 103 of HP Barendregt Studies in Logic and the Foundations of Mathematics, 1984 | 49 | 1984 |
| Semantics for classical Automath and related systems HP Barendregt, A Rezus | 37 | 1983 |
| Equality of lambda terms in the model T omega HP Barendregt, G Longo JR Hindley; JP Seldin (eds.), To HB Curry: essays on combinatory logic …, 1980 | 28 | 1980 |
| Solvability in lambda calculi HP Barendregt, M Guillaume Colloque international de logique: Clermont-Ferrand, 18-25 juillet 1975, 1977 | 24 | 1977 |
| The Dutch parallel reduction machine project HP Barendregt, MCJD Van Eekelen, MJ Plasmeijer, PH Hartel, ... Future generation computer systems 3 (4), 261-270, 1987 | 23 | 1987 |
| Lean: an intermediate language based on graph rewriting HP Barendregt, MCJD Van Eekelen, MJ Plasmeijer, JRW Glauert, ... Parallel Computing 9 (2), 163-177, 1989 | 20 | 1989 |
| A global representation of the recursive functions in the X-calculus HP Barendregt Theoretical Computer Science 3, 225-242, 1976 | 18 | 1976 |
| Comparing some classes of lambda calculus models HP Barendregt, CPJ Koymans London [etc.]: Academic Press, 1980 | 17 | 1980 |
| Combinatory logic and the axiom of choice HP Barendregt | 15 | 1973 |
