Luis Scoccola

Publications

• Nilpotent Types and Fracture Squares in Homotopy Type Theory. Luis Scoccola. 2022.
• The Integers as a Higher Inductive Type. Thorsten Altenkirch, Luis Scoccola. 2020.
• The Hurewicz Theorem in Homotopy Type Theory. J. Daniel Christensen, Luis Scoccola. 2020.