1. Home
  2. Computer
  3. Computer Science
  4. Altenkirch, Thorsten

Computer · Computer Science

Altenkirch, Thorsten

Listed in the directory · updated 21 Jul 2022

Visit website

Find them on

Share

About Altenkirch, Thorsten

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

Tags

Platforms

Where it sits

Computer Computer Science

More in Computer Science

See all →