![Theoretical computer science / Category theory / Homotopy type theory / Type theory / Algebraic structures / Groupoid / IEEE Symposium on Logic in Computer Science / Logic programming / Frank Pfenning / Homotopy theory / Mathematics / Abstract algebra Theoretical computer science / Category theory / Homotopy type theory / Type theory / Algebraic structures / Groupoid / IEEE Symposium on Logic in Computer Science / Logic programming / Frank Pfenning / Homotopy theory / Mathematics / Abstract algebra](https://www.pdfsearch.io/img/7bed7917df0fa5e6c0c2d179815cf10a.jpg)
| Document Date: 2014-07-13 10:46:56 Open Document File Size: 48,03 KBShare Result on Facebook
City Paris / / Country France / / IndustryTerm formal systems / concurrent systems / / Organization Awards Committee / / Person Tierry Coquand Dexter Kozen / Thomas Streicher / Martin Hofmann / Leonid Libkin Frank Pfenning / Jean-Yves Girard / Dale Miller / / Position chair / /
SocialTag |