skip navigation

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

Streicher, Thomas, 1958-

URI(s)

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

Identifies LC/NAF RWO

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

Identifies RWO

Exact Matching Concepts from Other Schemes

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

Closely Matching Concepts from Other Schemes

Thomas Streicher Label from public data source Wikidata

Sources

found: His Semantics of type theory, 1991:CIP t.p. (Thomas Streicher) galley (Fakultat für Mathematik und Informatik, University Passau, Passau, Germany) data sheet (b. 11-02-58)

Instance Of

Scheme Membership(s)

Library of Congress Name Authority File

Collection Membership(s)

Change Notes

1991-07-09: new
1991-07-31: revised

Alternate Formats