CROSILLA, MARIA LAURA
CROSILLA, MARIA LAURA
Lettere e Filosofia
A generalized cut characterization of the fullness axiom in CZF
2013 Crosilla L.; Palmgren E.; Schuster P.
A tutorial for Minlog, version 5.0
2011 Laura Crosilla; Monika Seisenberger; Helmut Schwichtenberg
Binary refinement implies discrete exponentiation
2006 Aczel P.; Crosilla L.; Ishihara H.; Palmgren E.; Schuster P.
Bishop’s Mathematics: A Philosophical Perspective
2023 Laura Crosilla
Conservativity of transitive closure over weak constructive operational set theory
2012 A.Cantini; L. Crosilla
Constructive notions of sets (Part I) Sets in Martin–Löf type theory
2006 Laura Crosilla
Constructive Set Theory with operations
2008 A. Cantini; L.Crosilla
Constructive type theory, an appetizer
2024 Laura Crosilla
Definiteness in Early Set Theory
2024 Maria Laura Crosilla; Øystein Linnebo
Elementary constructive operational set theory
2010 A. Cantini; L. Crosilla
Error and predicativity
2015 Crosilla L.
Exploring predicativity
2018 Crosilla L.
Finite Methods in Mathematical Practice
2014 Laura Crosilla; Peter Schuster
From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics
2005 Crosilla, L.; Peter Schuster
Inaccessible set axioms may have little consistency strength
2002 Crosilla L.; Rathjen M.
Introduction to the book
2005 Crosilla L.; Schuster P.
Matematica Costruttiva
2016 Laura Crosilla
On constructing completions
2005 Crosilla L.; Ishihara H.; Schuster P.
Predicativity and Constructive Mathematics
2022 Crosilla L.
Predicativity and Feferman
2017 Crosilla L.