processing...
home
authors
Luis Scoccola
create a passkey
account
chatqed
Coq
Agda
Lean
references
items
authors
citations
tools
unicode
settings
help
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.