| LC control no. | n 80086451 |
|---|---|
| Personal name heading | Barendregt, H. P. (Hendrik Pieter) |
| Variant(s) | Barendregt, Hendrik Pieter Barendregt, Henk P. |
| Found in | His On the interpretation of terms without a normal form, 1971. His The lambda calculus, 1984: CIP t.p. (H.P. Barendregt) data sht. (Barendregt, Henk P., b. 12/18/47) |
 |  |  |
View this record in: MARCXML | LC Authorities & Vocabularies | VIAF (Virtual International Authority File)
