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)
Capabilities and Limitations of Tissue Size Control Through Passive Mechanical Forces
Kursawe, J
Brodskiy, P
Zartman, J
Baker, R
Fletcher, A