Luca Ciccone

Publication Activity (10 Years)

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

Top Topics

Top Venues

Proc. ACM Program. Lang.

J. Log. Algebraic Methods Program.

Publications

Luca Ciccone, Francesco Dagnino, Luca Padovani
Fair termination of multiparty sessions. J. Log. Algebraic Methods Program. 139 (2024)
Luca Ciccone
Concerto Grosso for Sessions: Fair Termination of Sessions. CoRR (2023)
Luca Ciccone, Luca Padovani
An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus. CONCUR (2022)
Luca Ciccone, Francesco Dagnino, Luca Padovani
Fair Termination of Multiparty Sessions. ECOOP (2022)
Luca Ciccone, Luca Padovani
Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types. Log. Methods Comput. Sci. 18 (3) (2022)
Luca Ciccone, Luca Padovani
Fair termination of binary sessions. Proc. ACM Program. Lang. 6 (POPL) (2022)
Luca Ciccone, Francesco Dagnino, Angelo Ferrando
Ain't No Stopping Us Monitoring Now. CoRR (2022)
Luca Ciccone, Luca Padovani
An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus. CoRR (2022)
Luca Ciccone, Francesco Dagnino, Luca Padovani
Fair Termination of Multiparty Sessions. CoRR (2022)
Luca Ciccone, Francesco Dagnino, Elena Zucca
Flexible Coinduction in Agda. ITP (2021)
Luca Ciccone, Luca Padovani
Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types. CoRR (2021)
Luca Ciccone, Luca Padovani
Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types. ICALP (2021)
Luca Ciccone
Flexible Coinduction in Agda. CoRR (2020)
Luca Ciccone, Luca Padovani
A Dependently Typed Linear π-Calculus in Agda. PPDP (2020)
Luca Ciccone, Angelo Ferrando, Davide Ancona, Viviana Mascardi
Timed Trace Expressions. CILC (2019)