Altenkirch, Thorsten

tcs.informatik.uni-muenchen.de

Visit Site

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

Rate This Site

More in A Report

QR Code

Download PNG

Embed Badge

<a href="https://e-sygoing.link/go/5756581" title="Altenkirch, Thorsten"><img src="https://e-sygoing.link/badge.php?lid=5756581" alt="Listed on e-sygoing.link" height="20"></a>

Place this code on your website to show you're listed here.

Altenkirch, Thorsten

Rate This Site

Submit Your Site

Related Links