GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Thomas Streicher
URI:
https://gptkb.org/entity/Thomas_Streicher
GPTKB entity
Statements (14)
Predicate
Object
gptkbp:instanceOf
gptkb:person
gptkbp:affiliation
gptkb:Technische_Universität_Darmstadt
gptkbp:almaMater
gptkb:Ludwig_Maximilian_University_of_Munich
gptkbp:birthYear
1957
gptkbp:doctoralAdvisor
gptkb:Manfred_Broy
gptkbp:field
gptkb:logic
gptkb:mathematics
gptkb:category_theory
https://www.w3.org/2000/01/rdf-schema#label
Thomas Streicher
gptkbp:nationality
gptkb:German
gptkbp:notableWork
gptkb:Semantics_of_Type_Theory:_Correctness,_Completeness_and_Independence_Results_for_Martin-Löf_Type_Theory
gptkbp:occupation
gptkb:mathematician
gptkbp:bfsParent
gptkb:Martin_Hyland
gptkbp:bfsLayer
6