Web Directory

    Top: Computers: Computer_Science: People: A:

 

Altenkirch, Thorsten

  Link Details for: Altenkirch, Thorsten
Link Title: Altenkirch, Thorsten Open in a new window
Link URL: http://www.tcs.informatik.uni-muenchen.de/~alti/
Link Details: Ludwig-Maximillians University - Type theory, categorical logic, and program verification.
Category: Top : Computers : Computer_Science : People : A
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Altenkirch, Thorsten