Travelled to:
1 × Japan
Collaborated with:
D.R.Licata
Talks about:
homotopi (1) approach (1) synthet (1) theori (1) cubic (1)
Person: Guillaume Brunerie
DBLP: Brunerie:Guillaume
Contributed to:
Wrote 1 papers:
- LICS-2015-LicataB #approach
- A Cubical Approach to Synthetic Homotopy Theory (DRL, GB), pp. 92–103.