Thomas Streicher (* 11. Februar 1958 in Linz, Österreich; † 2. Januar 2025 in Darmstadt)[1] war ein österreichischer Mathematiker und Professor an der Technischen Universität Darmstadt. Er war bekannt für seine Arbeiten in den Bereichen Typentheorie, kategoriale Logik, Domänentheorie[2] und den logischen Grundlagen des Funktionalen Programmierens.[1]
- ↑ a b Präsidium und Dekan des FB Mathematik der TU Darmstadt: Nachruf Thomas Streicher. www.vrm-trauer.de, 11. Januar 2025, abgerufen am 20. Januar 2025.
- ↑ Artikel in der englischen Wikipedia: Domain theory. en.wikipedia.org, abgerufen am 22. Januar 2025 (englisch).