( en | de | ru )

 

Disambiguation of "Barendregt, Hendrik Pieter"

Author of the publication

copydeleteadd this publication to your clipboard
Term Graph Rewriting.

, , , , , and . PARLE (2), volume 259 of Lecture Notes in Computer Science, page 141-158. Springer, (1987)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Pieter Wolter

Pieter Dingeldey

Pieter Zwieten

Pieter Ploumen

Pieter Steenhuis

 

Other publications of authors with the same name

The Dutch parallel reduction machine project., , , , , and . Future Gener. Comput. Syst., 3 (4): 261-270 (1987)Needed Reduction and Spine Strategies for the Lambda Calculus, , , and . Inf. Comput., 75 (3): 191-231 (December 1987)Automata Theoretic Account of Proof Search., , and . CSL, volume 41 of LIPIcs, page 128-143. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Termination for the Direct Sum of left-Linear Term Rewriting Systems -Preliminary Draft-., , and . RTA, volume 355 of Lecture Notes in Computer Science, page 477-491. Springer, (1989)Term Graph Rewriting., , , , , and . PARLE (2), volume 259 of Lecture Notes in Computer Science, page 141-158. Springer, (1987)Towards an Intermediate Language based on Graph Rewriting., , , , , and . PARLE (2), volume 259 of Lecture Notes in Computer Science, page 159-175. Springer, (1987)Functional Programming and Lambda Calculus.. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), Elsevier and MIT Press, (1990)Lambda Calculus with Types., , and . Perspectives in logic Cambridge University Press, (2013)The lambda calculus - its syntax and semantics.. Studies in logic and the foundations of mathematics North-Holland, (1985)