Luca Ciccone
Orcid: 0000-0001-9515-5280
According to our database1,
Luca Ciccone
authored at least 11 papers
between 2019 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
1
1
3
1
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2023
2022
Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types.
Log. Methods Comput. Sci., 2022
An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus.
Proceedings of the 33rd International Conference on Concurrency Theory, 2022
2021
Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021
Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types.
Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021
2020
Proceedings of the PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, 2020
2019
Proceedings of the 34th Italian Conference on Computational Logic, 2019