About Thomas Streicher
Thomas Streicher was an Austrian mathematician who was a Professor of Mathematics at Technische Universität Darmstadt. He received his PhD in 1988 from the University of Passau with advisor Manfred Broy.
Notable works:
Semantics of Type Theory
All Thomas Streicher Quotes
No quotes found for this author.
