Gianluca Curzi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
2020–2026
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CSL | Cyclic Proof Theory of Generalised Inductive Definitions. | Gianluca Curzi, Lukas Melgaard |
| 2024 | CSL | Infinitary Cut-Elimination via Finite Approximations. | Matteo Acclavio, Gianluca Curzi, Giulio Guerrieri |
| 2023 | CSL | Non-Uniform Complexity via Non-Wellfounded Proofs. | Gianluca Curzi, Anupam Das |
| 2023 | LICS | Computational expressivity of (circular) proofs with fixed points. | Gianluca Curzi, Anupam Das |
| 2022 | LICS | Cyclic Implicit Complexity. | Gianluca Curzi, Anupam Das |
| 2021 | ECSQARU | Trust Evidence Logic. | Alessandro Aldini, Gianluca Curzi, Pierluigi Graziani, Mirko Tagliaferri |
| 2020 | LICS | The Benefit of Being Non-Lazy in Probabilistic λ-calculus: Applicative Bisimulation is Fully Abstract for Non-Lazy Probabilistic Call-by-Name. | Gianluca Curzi, Michele Pagani |