Cubical Synthetic Homotopy Theory

POPL 2020

Cubical Synthetic Homotopy Theory

Sep 17, 2020
|
39 views
Details
Presenter: Loïc Pujet Presented at CPP'20, colocated with POPL 2020.

Comments
loading...