Hendrik Pieter Barendregt

Statistics

Publications

Citations

H-Index

Active since

1990

Affiliations

Hendrik Pieter Barendregt is an author at Centrum Wiskunde & Informatica specializing in compilers, typed lambda calculus, and functional programming.

Publications per year

1990–1995

Publications

Termination for direct sums of left-linear complete term rewriting systems

Yoshihito Toyama, Jan Willem Klop, Hendrik Pieter Barendregt · Journal of the ACM · 1995 · 29 citations · Full text

Law, Intellectual Property Law, Compilers +11

Functional programming and lambda calculus

Hendrik Pieter Barendregt · Radboud Repository (Radboud University) · 1990 · 25 citations

Computing, Computer Science, Compilers +11

1–2 of 2