Thomas Streicher

Portrait Thomas Streicher 2017 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
Treffer 1 - 3 von 3 für Suche 'Streicher, Thomas', Suchdauer: 0,09s Treffer weiter einschränken
  1. 1
    Brüderlein fein : Geschichten über ein schwieriges Verhältnis zwischen Männern
    Signatur: So/220/Nut/1
    Buch

  2. 2
    Die zweite Haut : Über die Moden, Unter die Haut, Hinter die Kulissen
    Weitere Personen: “… Streicher, Thomas …”
    Signatur: Fr/130/Böh/1a
    Buch

  3. 3
    Die zweite Haut : über Moden
    Weitere Personen: “… Streicher, Thomas …”
    Signatur: Fr/130/Böh/1
    Buch

Suchwerkzeuge: RSS-Feed abonnieren – Diese Suche als E-Mail versenden