skip navigation

The Library of Congress > Linked Data Service > LC Name Authority File (LCNAF)

Barendregt, H. P. (Hendrik Pieter)

URI(s)

http://id.loc.gov/authorities/names/n80086451

Variants

Barendregt, Hendrik Pieter
Barendregt, Henk P.

Identifies LC/NAF RWO

http://id.loc.gov/rwo/agents/n80086451

Identifies RWO

Exact Matching Concepts from Other Schemes

http://viaf.org/viaf/sourceID/LC%7Cn++80086451#skos:Concept

Closely Matching Concepts from Other Schemes

Henk Barendregt Label from public data source Wikidata

Earlier Established Forms

Barendregt, Hendrik Pieter

Sources

found: His On the interpretation of terms without a normal form, 1971.

found: His The lambda calculus, 1984:CIP t.p. (H.P. Barendregt) data sht. (Barendregt, Henk P., b. 12/18/47)

Instance Of

Scheme Membership(s)

Library of Congress Name Authority File

Collection Membership(s)

Change Notes

1980-08-12: new
1984-04-03: revised

Alternate Formats