Laura Crosilla

Publication Activity (10 Years)

Years Active: 2002-2015
Publications (10 Years): 0

Top Topics

Image Processing

Multiresolution

Top Venues

Publications

Laura Crosilla
Error and Predicativity. CiE (2015)
Laura Crosilla, Erik Palmgren, Peter Schuster
A generalized cut characterization of the fullness axiom in CZF. Log. J. IGPL 21 (1) (2013)
Peter Aczel, Laura Crosilla, Hajime Ishihara, Erik Palmgren, Peter Schuster
Binary Refinement Implies Discrete Exponentiation. Stud Logica 84 (3) (2006)
Laura Crosilla, Hajime Ishihara, Peter Schuster
On constructing completions. J. Symb. Log. 70 (3) (2005)
Laura Crosilla, Michael Rathjen
Inaccessible set axions may have little consistency strength. Ann. Pure Appl. Log. 115 (1-3) (2002)