Gianluca Curzi

Trust Evidence Logic

Alessandro Aldini, Mirko Tagliaferri, Pierluigi Graziani, 2021, ECSQARU.

Non-uniform complexity via non-wellfounded proofs

Anupam Das, Gianluca Curzi, 2022, ArXiv.

A type-assignment of linear erasure and duplication

Luca Roversi, Gianluca Curzi, 2019, Theor. Comput. Sci..

The Benefit of Being Non-Lazy in Probabilistic λ-calculus: Applicative Bisimulation is Fully Abstract for Non-Lazy Probabilistic Call-by-Name

Michele Pagani, Gianluca Curzi, Michele Pagani, 2020, LICS.

The Benefit of Being Non-Lazy in Probabilistic {\lambda}-calculus

Michele Pagani, Gianluca Curzi, Michele Pagani, 2020, 2004.12891.