Altenkirch, Thorsten

Altenkirch, Thorsten
All Links

Share this:

Details of Altenkirch, Thorsten

About Altenkirch, Thorsten
Altenkirch, Thorsten- Ludwig-Maximillians University - Type theory, categorical logic, and program verification.
Platforms