1. Approximate and discrete Euclidean vector bundles. (21st March 2023) Authors: Scoccola, Luis; Perea, Jose A. Journal: Forum of mathematics Issue: Volume 11(2023) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Nilpotent types and fracture squares in homotopy type theory. (May 2020) Authors: Scoccola, Luis Journal: Mathematical structures in computer science Issue: Volume 30:Number 5(2020) Page Start: 511 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗