Document Preview Unavailable

Nilpotent Types and Fracture Squares in Homotopy Type Theory

Scoccola, Luis.  arXiv.org, Jan 25, 2022.

You might have access to this document