Luca Ciccone

Luca Ciccone

Università degli Studi di Torino - Torino / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 5985816
University of Turin
person_outline Luca Ciccone's MOST POPULAR ARTICLES
1-) A dependently typed linear π-calculus in Agda Proceedings of the 22nd International Symposium on Principles and Practice …, 2020
2-) Fair termination of binary sessions Proceedings of the ACM on Programming Languages 6 (POPL), 1-30, 2022
3-) Flexible coinduction in Agda arXiv preprint arXiv:2002.06047, 2020
4-) Fair Termination of Multiparty Sessions 36th European Conference on Object-Oriented Programming (ECOOP 2022) 222, 1-26, 2022
5-) Inference systems with corules for fair subtyping and liveness properties of binary session types LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS 198, 1-16, 2021