Laura Crosilla
Author
Alternate names Laura Crosilla, L. Crosilla, Maria Laura Crosilla
Institutions University of Oslo, University of Florence
Past institutions University of Oslo, University of Florence, University Graduate Center, University of Birmingham, University of Leeds +2 more
ORCID: Yes
H-index: 8
I10-index: 4
Works count: 22
Citations count: 151
From sets and types to topology and analysis : towards practicable foundations for constructive mathematics
2005 · Laura Crosilla, Peter Schuster · Clarendon Press eBooks
Inaccessible set axioms may have little consistency strength
2002 · Laura Crosilla, Michael Rathjen · Annals of Pure and Applied Logic
On constructing completions
2005 · Laura Crosilla, Hajime Ishihara, et al. · Journal of Symbolic Logic