Laura Crosilla



  1. 2019
  2. E-pub ahead of print

    The entanglement of logic and set theory, constructively

    Laura Crosilla, 5 Aug 2019, (E-pub ahead of print) In: Inquiry. p. 1-22 22 p.

    Research output: Contribution to journalArticlepeer-review

  3. 2018
  4. Published

    Exploring Predicativity

    Laura Crosilla, Jul 2018, Proof and Computation: Digitization in Mathematics, Computer Science, and Philosophy. p. 83-108

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review