Thomas Streicher

URI: https://gptkb.org/entity/Thomas_Streicher

GPTKB entity

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
http://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