Thomas Streicher
Thomas Streicher (* 11. Februar 1958 in Linz, Österreich; † 2. Januar 2025 in Darmstadt) 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 und den logischen Grundlagen des Funktionalen Programmierens. Veröffentlicht in Wikipedia-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20
