Laura Crosilla

Orcid: 0000-0003-3637-5720

Affiliations:

University of Leeds, UK
Technical University of Munich, Germany

According to our database¹, Laura Crosilla authored at least 5 papers between 2002 and 2015.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2015

Error and Predicativity.

[BibT_eX]

[DOI]

Laura Crosilla

Proceedings of the Evolving Computability - 11th Conference on Computability in Europe, 2015

2013

A generalized cut characterization of the fullness axiom in CZF.

[BibT_eX]

[DOI]

Laura Crosilla

Erik Palmgren

Peter Schuster

Log. J. IGPL, 2013

2006

Binary Refinement Implies Discrete Exponentiation.

[BibT_eX]

[DOI]

Stud Logica, 2006

2005

On constructing completions.

[BibT_eX]

[DOI]

Laura Crosilla

Hajime Ishihara

Peter Schuster

J. Symb. Log., 2005

2002

Inaccessible set axions may have little consistency strength.

[BibT_eX]

[DOI]

Laura Crosilla

Michael Rathjen

Ann. Pure Appl. Log., 2002

Laura Crosilla

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...