Hendrik Pieter Barendregt

Publication Activity (10 Years)

Years Active: 1987-2020
Publications (10 Years): 2

Top Topics

Automata Theoretic

Regular Path Queries

Top Venues

Log. Methods Comput. Sci.

Univ. Utrecht (PHD)

Education History

Univ. Utrecht

PHD

Publications

Hendrik Pieter Barendregt
Gems of Corrado Böhm. Log. Methods Comput. Sci. 16 (3) (2020)
Hendrik Pieter Barendregt, Sebastiaan A. Terwijn
Partial combinatory algebra and generalized numberings. CoRR (2019)
Aleksy Schubert, Wil Dekkers, Hendrik Pieter Barendregt
Automata Theoretic Account of Proof Search. CSL (2015)
Yoshihito Toyama, Jan Willem Klop, Hendrik Pieter Barendregt
Termination for Direct Sums of Left-Linear Complete Term Rewriting Systems. J. ACM 42 (6) (1995)
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
Experience with a clustered parallel reduction machine. Future Gener. Comput. Syst. 9 (3) (1993)
Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, John R. W. Glauert, Richard Kennaway, M. Ronan Sleep
LEAN: an intermediate language based on graph rewriting. Parallel Comput. 9 (2) (1989)
Yoshihito Toyama, Jan Willem Klop, Hendrik Pieter Barendregt
Termination for the Direct Sum of left-Linear Term Rewriting Systems -Preliminary Draft-. RTA (1989)
Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, John R. W. Glauert, Richard Kennaway, Marinus J. Plasmeijer, M. Ronan Sleep
Towards an Intermediate Language based on Graph Rewriting. PARLE (2) (1987)
Hendrik Pieter Barendregt, Richard Kennaway, Jan Willem Klop, M. Ronan Sleep
Needed Reduction and Spine Strategies for the Lambda Calculus Inf. Comput. 75 (3) (1987)
Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, Pieter H. Hartel, Louis O. Hertzberger, Willem G. Vree
The Dutch parallel reduction machine project. Future Gener. Comput. Syst. 3 (4) (1987)
Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, John R. W. Glauert, Richard Kennaway, Marinus J. Plasmeijer, M. Ronan Sleep
Term Graph Rewriting. PARLE (2) (1987)