| Document Date: 2015-05-19 09:38:12
Open Document File Size: 196,43 KBShare Result on Facebook
Company The United States Air Force Research Laboratory / / / Event Company Expansion / / Facility Carnegie Mellon University / B. Library / D. Square / Because Square / Library Next / / Organization Institute for Advanced Study / Carnegie Mellon University / U.S. Government / Wesleyan University / / Person Daniel R. Licata Guillaume Brunerie / / Position rt bk tp bt fr Cube rt rt / Cube lf rt / / Product Agda / Freudenthal suspension / / ProgrammingLanguage C / /
SocialTag |
A Cubical Approach to Synthetic Homotopy Theory Daniel R. Licata Guillaume Brunerie Wesleyan University