Laura Crosilla

Laura Crosilla

Laura Crosilla has written at least 1 book. Their most popular book is From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics with 1 save with an average rating of -⭐.

From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics

#48 of 4 in Oxford Logic Guides

2005 • 1 Reader • 350 pages