Home / Books / Laura Crosilla

Laura Crosilla

Laura Crosilla is a researcher in Philosophy of Mathematics and Philosophy of Logic at the Department of Humanities, University of Florence, Italy, a position she has held since September 2023. She specializes in constructivity, predicativity, mathematical logic, and constructive type theory, with particular expertise in Bishop's mathematics. Her work has been cited over 360 times in academic literature.

Philosophy of Mathematics Philosophy of Logic Mathematical Logic Constructive Type Theory
From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics (Oxford Logic Guides Book 48)
From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics (Oxford Logic Guides Book 48)
2005