A dependently typed linear π-calculus in agda L Ciccone, L Padovani
Proceedings of the 22nd International Symposium on Principles and Practice …, 2020
14 2020 Flexible coinduction in Agda L Ciccone
arXiv preprint arXiv:2002.06047, 2020
9 2020 Fair termination of binary sessions L Ciccone, L Padovani
Proceedings of the ACM on Programming Languages 6 (POPL), 1-30, 2022
8 2022 Inference systems with corules for fair subtyping and liveness properties of binary session types L Ciccone, L Padovani
LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS 198, 1-16, 2021
5 2021 An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear -Calculus L Ciccone, L Padovani
arXiv preprint arXiv:2207.03749, 2022
4 2022 Fair Termination of Multiparty Sessions L Ciccone, F Dagnino, L Padovani
36th European Conference on Object-Oriented Programming (ECOOP 2022) 222, 1-26, 2022
3 2022 Ain't No Stopping Us Monitoring Now L Ciccone, F Dagnino, A Ferrando
arXiv preprint arXiv:2211.11544, 2022
1 2022 Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types L Ciccone, L Padovani
Logical Methods in Computer Science 18, 2022
1 2022 Timed Trace Expressions. L Ciccone, A Ferrando, D Ancona, V Mascardi
CILC, 229-241, 2019
1 2019 Concerto Grosso for Sessions: Fair Termination of Sessions L Ciccone
arXiv preprint arXiv:2307.05539, 2023
2023 12th International Conference on Interactive Theorem Proving (ITP 2021) MO Myreen, N Polikarpova, A Popescu, T Bauereiss, P Lammich, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2021
2021 Parasitological community of red deer (Cervus elaphus): effects on population and reproduction T Trogu, N Formenti, N Ferrari, B Sebastiano, P Luca, C Luca, ...
Mutamenti ambientali e parassiti, 115-115, 2018
2018 Spatial avoidance between red deer and cattle in alpine pastures F Alessandro, N Matteo, B Alessia, S Valentina, L Camilla, P Luca, C Luca