Thorsten Altenkirch
E1942584
UNEXPLORED
Thorsten Altenkirch is a computer scientist and logician known for his work in type theory, constructive mathematics, and the foundations of programming languages.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Thorsten Altenkirch canonical | 1 |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.