Hendrik Pieter Barendregt

15 papers B 1Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2020 J jnl
Gems of Corrado Böhm.
Log. Methods Comput. Sci.
Hendrik Pieter Barendregt
2019 J jnl
Partial combinatory algebra and generalized numberings.
CoRR
Hendrik Pieter Barendregt, Sebastiaan A. Terwijn
2015 B conf
Automata Theoretic Account of Proof Search.
CSL
Aleksy Schubert, Wil Dekkers, Hendrik Pieter Barendregt
2013 — book
Lambda Calculus with Types.
Hendrik Pieter Barendregt, Wil Dekkers, Richard Statman
1995 J jnl
Termination for Direct Sums of Left-Linear Complete Term Rewriting Systems.
J. ACM
Yoshihito Toyama, Jan Willem Klop, Hendrik Pieter Barendregt
1993 J jnl
Experience with a clustered parallel reduction machine.
Future Gener. Comput. Syst.
Marcel Beemster, Pieter H. Hartel, Louis O. Hertzberger, Rutger F. H. Hofman, Koen Langendoen, L. L. Li, R. Milikowski, Willem G. Vree, Hendrik Pieter Barendregt, J. C. Mulder
1990 — ch.
Functional Programming and Lambda Calculus.
Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)
Hendrik Pieter Barendregt
1989 J jnl
LEAN: an intermediate language based on graph rewriting.
Parallel Comput.
Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, John R. W. Glauert, Richard Kennaway, M. Ronan Sleep
1989 — conf
Termination for the Direct Sum of left-Linear Term Rewriting Systems -Preliminary Draft-.
RTA
Yoshihito Toyama, Jan Willem Klop, Hendrik Pieter Barendregt
1987 J jnl
Needed Reduction and Spine Strategies for the Lambda Calculus
Inf. Comput.
Hendrik Pieter Barendregt, Richard Kennaway, Jan Willem Klop, M. Ronan Sleep
1987 — conf
Term Graph Rewriting.
PARLE (2)
Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, John R. W. Glauert, Richard Kennaway, Marinus J. Plasmeijer, M. Ronan Sleep
1987 J jnl
The Dutch parallel reduction machine project.
Future Gener. Comput. Syst.
Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, Pieter H. Hartel, Louis O. Hertzberger, Willem G. Vree
1987 — conf
Towards an Intermediate Language based on Graph Rewriting.
PARLE (2)
Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, John R. W. Glauert, Richard Kennaway, Marinus J. Plasmeijer, M. Ronan Sleep
1985 — book
The lambda calculus - its syntax and semantics.
Hendrik Pieter Barendregt
1971 — —
Some extensional term models for combinatory logics and l - calculi.
Hendrik Pieter Barendregt