Gianluca Curzi

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 17

Top Topics

Approximate Value Iteration

Sequent Calculus

Top Venues

Int. J. Approx. Reason.

Publications

Alessandro Aldini, Gianluca Curzi, Pierluigi Graziani, Mirko Tagliaferri
A probabilistic modal logic for context-aware trust based on evidence. Int. J. Approx. Reason. 169 (2024)
Matteo Acclavio, Gianluca Curzi, Giulio Guerrieri
Infinitary Cut-Elimination via Finite Approximations. CSL (2024)
Matteo Acclavio, Gianluca Curzi, Giulio Guerrieri
Non-wellfounded parsimonious proofs and non-uniform complexity. CoRR (2024)
Gianluca Curzi, Anupam Das
Computational expressivity of (circular) proofs with fixed points. LICS (2023)
Gianluca Curzi, Anupam Das
Computational expressivity of (circular) proofs with fixed points. CoRR (2023)
Gianluca Curzi, Anupam Das
Non-Uniform Complexity via Non-Wellfounded Proofs. CSL (2023)
Matteo Acclavio, Gianluca Curzi, Giulio Guerrieri
Infinitary cut-elimination via finite approximations. CoRR (2023)
Gianluca Curzi, Anupam Das
Non-uniform complexity via non-wellfounded proofs. CoRR (2022)
Gianluca Curzi, Anupam Das
Cyclic Implicit Complexity. LICS (2022)
Alessandro Aldini, Gianluca Curzi, Pierluigi Graziani, Mirko Tagliaferri
Trust Evidence Logic. ECSQARU (2021)
Gianluca Curzi, Anupam Das
Cyclic Implicit Complexity. CoRR (2021)
Gianluca Curzi
Linear Additives. CoRR (2021)
Gianluca Curzi, Michele Pagani
The Benefit of Being Non-Lazy in Probabilistic λ-calculus: Applicative Bisimulation is Fully Abstract for Non-Lazy Probabilistic Call-by-Name. LICS (2020)
Gianluca Curzi, Michele Pagani
The Benefit of Being Non-Lazy in Probabilistic λ-calculus. CoRR (2020)
Gianluca Curzi, Luca Roversi
A type-assignment of linear erasure and duplication. Theor. Comput. Sci. 837 (2020)
Gianluca Curzi, Luca Roversi
Probabilistic Soft Type Assignment. CoRR (2020)
Gianluca Curzi, Luca Roversi
A type-assignment of linear erasure and duplication. CoRR (2019)