Barendregt, Hendrik Pieter (1947-)
| rdfs:label | "Barendregt, Hendrik Pieter (1947-)" |
| schema:name | "Hendrik Pieter Barendregt" |
|
schema:family |
"Barendregt" |
|
schema:given |
"Hendrik Pieter" |
|
schema:alternate |
"Barendregt, H.P." |
|
schema:birth |
"1947" |
|
schema:same |
wd:Q1847646 |
|
<https:/ |
|
|
<http:/ |
|
|
schema:main |
<https:/ |
Inverse relations
[ .. ] → schema:contributor → Barendregt, Hendrik Pieter (1947-)
Dirk van Dalen Festschrift / Henk Barendregt, Marc Bezem, Jan Willem Klop (eds.)schema:ProductModel
Needed reduction and spine strategies for the lambda calculus / H.P. Barendregt ... [et al.]schema:ProductModel
Termination for direct sums of left-linear complete term rewriting systems / Y. Toyama, J.W. Klop, H.P. Barendregtschema:ProductModel
[ .. ] → schema:author → Barendregt, Hendrik Pieter (1947-)
Computable processes / H.P. Barendregt, H. Wupper, H. Mulderschema:ProductModel
Grondslagen van de informatica / door H.P. Barendregtschema:ProductModel
Overleven in de complexe wereld / Henk Barendregt ; [eindred.: Ron Welters ... et al.]schema:ProductModel
Some extensional term models for combinatory logics and [labda]-calculi / Hendrik Pieter Barendregtschema:ProductModel
Some extensional term models for combinatory logics and labda - calculi / by Hendrik Pieter Barendregt ; [with a summary in Dutch]schema:ProductModel
Some extensional term models for combinatory logics and lambda - calculi / by Hendrik Pieter Barendregt ; [with a summary in Dutch]schema:ProductModel
The incompleteness of theorems / Henk Barendregtschema:ProductModel
The lambda calculus : its syntax and semantics / H.P. Barendregtschema:ProductModel
The Lambda calculus : its syntax and semantics / H.P. Barendregtschema:ProductModel