| Set theory: Constructive and intuitionistic ZF L Crosilla | 48 | 2010 |
| From sets and types to topology and analysis: Towards practicable foundations for constructive mathematics L Crosilla, P Schuster Clarendon Press, 2005 | 34 | 2005 |
| Predicativity and Feferman L Crosilla Feferman on foundations: Logic, mathematics, philosophy, 423-447, 2017 | 25 | 2017 |
| Inaccessible set axioms may have little consistency strength L Crosilla, M Rathjen Annals of Pure and Applied Logic 115 (1-3), 33-70, 2002 | 24 | 2002 |
| Finite methods in mathematical practice L Crosilla, P Schuster Formalism and beyond: On the nature of mathematical discourse 23, 351, 2014 | 19 | 2014 |
| The physics and metaphysics of identity and individuality: Steven French and Décio Krause: Identity in physics: A historical, philosophical, and formal analysis. Oxford … D Howard, BC van Fraassen, O Bueno, E Castellani, L Crosilla, S French, ... Metascience 20, 225-251, 2011 | 17 | 2011 |
| On constructing completions L Crosilla, H Ishihara, P Schuster The Journal of Symbolic Logic 70 (3), 969-978, 2005 | 17 | 2005 |
| Constructive set theory with operations A Cantini, L Crosilla Logic Colloquium 29, 47-83, 2004 | 17 | 2004 |
| Realizability models for constructive set theories with restricted induction principles L Crosilla PhD Thesis, School of Mathematics, University of Leeds, 2000 | 12 | 2000 |
| Exploring predicativity L Crosilla Proof and Computation: Digitization in Mathematics, Computer Science, and …, 2018 | 11 | 2018 |
| Elementary constructive operational set theory A Cantini, L Crosilla Ways of proof theory, 199-240, 2010 | 10 | 2010 |
| Binary refinement implies discrete exponentiation P Aczel, L Crosilla, H Ishihara, E Palmgren, P Schuster Studia Logica 84, 361-368, 2006 | 10 | 2006 |
| The entanglement of logic and set theory, constructively L Crosilla Inquiry 65 (6), 638-659, 2022 | 7 | 2022 |
| Predicativity and constructive mathematics L Crosilla Objects, Structures, and Logics: Filmat Studies in the Philosophy of …, 2021 | 7 | 2021 |
| Constructivity and Predicativity: Philosophical Foundations ML Crosilla University of Leeds, 2016 | 7 | 2016 |
| Bishop’s mathematics: A philosophical perspective L Crosilla Cambridge University Press, 2023 | 6 | 2023 |
| Weyl and two kinds of potential domains L Crosilla, Ø Linnebo Noûs 58 (2), 409-430, 2024 | 5 | 2024 |
| Error and predicativity L Crosilla Conference on Computability in Europe, 13-22, 2015 | 4 | 2015 |
| Matematica costruttiva L Crosilla APhEx, 2016 | 3 | 2016 |
| A generalized cut characterization of the fullness axiom in CZF L Crosilla, E Palmgren, P Schuster Logic Journal of IGPL 21 (1), 63-76, 2013 | 2 | 2013 |
andrea cantiniprofessore di logica, Università di Firenze在 unifi.it 的电子邮件经过验证
