Laura Crosilla (crosilla)

Mentioned on the following portal pages

Contributions to Philosophie.ch

Bibliography

Crosilla, Laura. 2009. “Set Theory: Constructive and Intuitionistic ZF.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/spr2009/entries/set-theory-constructive/.
Crosilla, Laura. 2014. “Set Theory: Constructive and Intuitionistic ZF.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/spr2014/entries/set-theory-constructive/.
Crosilla, Laura. 2019. “Set Theory: Constructive and Intuitionistic ZF.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/spr2019/entries/set-theory-constructive/.
Crosilla, Laura. 2024a. “Constructive Type Theory. An Appetizer.” in Higher-Order Metaphysics, edited by Peter Fritz and Nicholas K. Jones, pp. 220–243. Oxford: Oxford University Press, doi:10.1093/oso/9780192894885.003.0006.
Crosilla, Laura. 2024b. “Set Theory: Constructive and Intuitionistic ZF.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/spr2024/entries/set-theory-constructive/.
Crosilla, Laura and Schuster, Peter. 2005. From Sets and Types to Topology and Analysis. Towards Practicable Foundations for Constructive Mathematics. Oxford Logic Guides n. 48. Oxford: Oxford University Press.