https://papers.nips.cc/paper_files/paper/2023/hash/d75c474bc01735929a1fab5d0de3b189-Abstract-Conference.html
David, L
Scoccola, L
Mathieu, C
Magnus, B
Oudot, S
The Hurewicz theorem in homotopy type theory
Christensen, J
Scoccola, L
Algebraic & Geometric Topology
volume 23
issue 5
2107-2140
(25 Jul 2023)
Localization in Homotopy Type Theory
Rijke, E
Christensen, J
Scoccola, L
Opie, M
Higher Structures
volume 4
issue 1
1-32
(11 Feb 2020)
The Integers as a Higher Inductive Type
Altenkirch, T
Scoccola, L
67-73
(08 Jul 2020)
Nilpotent types and fracture squares in homotopy type theory
Scoccola, L
Mathematical Structures in Computer Science
volume 30
issue 5
511-544
(08 May 2020)
Persistable: persistent and stable clustering
Scoccola, L
Rolle, A
The Journal of Open Source Software
volume 8
issue 83
5022
(Mar 2023)
Approximate and discrete Euclidean vector bundles
Scoccola, L
Perea, J
Forum of Mathematics Sigma
volume 11
e20
(21 Mar 2023)
DREiMac: Dimensionality Reduction with Eilenberg-MacLane Coordinates
Perea, J
Scoccola, L
Tralie, C
The Journal of Open Source Software
volume 8
issue 91
5791
(Nov 2023)
ScoEHR: generating synthetic electronic health records using continuous-time diffusion models
Naseer, A
Walker, B
Landon, C
Ambrosy, A
Fudim, M
Wysham, N
Toro, B
Swaminathan, S
Lyons, T
Proceedings of the 8th Machine Learning for Healthcare Conference
volume 219
489-508
(22 Dec 2023)
Moduli Spaces: An Introduction
Kirwan, F
Encyclopedia of Mathematical Physics: Five-Volume Set
V3-449-V3-458
(01 Jan 2006)