Definitions from Wikipedia (Thorsten Altenkirch)

▸ noun:  a German Professor of Computer Science at the University of Nottingham known for his research on logic, type theory, and homotopy type theory.


▸ Words similar to thorsten altenkirch
▸ Usage examples for thorsten altenkirch

▸ Idioms related to thorsten altenkirch
▸ Wikipedia articles (New!)
▸ Words that often appear near thorsten altenkirch
▸ Rhymes of thorsten altenkirch

▸ Invented words related to thorsten altenkirch