Thomas Streicher
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- Germany
- MGP identifier
- 76350
Dissertation: Correctness and Completeness of a Categorical Semantics of the Calculus of Constructions
Mathematics Subject Classification: 94—Information and communication, circuits
Advisor 1
- Manfred BroyInstitution not recorded
Students 7
| Name | Institution | Year | Students |
|---|---|---|---|
| Peter Lietz | Technische Universität Darmstadt | 2004 | 0 |
| Tobias Löw | Technische Universität Darmstadt | 2007 | 0 |
| Michael Marz | Technische Universität Darmstadt | 2000 | 0 |
| Bernhard Reus | Not recorded | — | 0 |
| Alexander Rohr | Technische Universität Darmstadt | 2002 | 0 |
| Taichi Uemura | Universiteit van Amsterdam | 2021 | 0 |
| Jonathan Weinberger | Not recorded | — | 0 |