Papers

Journals

• G. Curzi and L. Roversi (TCS 2020) : A type-assignment of linear erasure and duplication

International conferences and workshops

• G.Curzi and M. Pagani (LICS 2020) : The Benefit of Being Non-Lazy in Probabilistic λ-calculus
  
  
• G. Curzi (TLLA 2020) : Linear additives (Extended Abstract)

Submitted papers

• G. Curzi and L. Roversi : Probabilistic Soft Type Assignment (submitted to CSL 2021)

---

PhD thesis

• Non-Laziness in Implicit Computational Complexity and Probabilistic λ-calculus
  
  
• Slides of the final defense

---

Talks

International conferences and workshops

• The Benefit of Being Non-Lazy in Probabilistic λ-calculus (slides). LICS, Saarbrücken (Germany), 2020.
  
  
• Linear Additives (slides). TLLA, Paris-Aubervilliers (France), 2020.
  
  
• Toward a semantic characterization of probabilistic complexity classes (slides). PIHOC, Bologna (Italy), 2018.

Seminars

• La complessità computazionale e il problema P vs NP (slides). Cycle of Seminars, Urbino (Italy), 2017.
  
  
• Che cos’è l’isomorfismo di Curry-Howard (slides). Cycle of Seminars, Urbino (Italy), 2016.