Luca Ciccone

From MaRDI portal
Person:5043585

Available identifiers

zbMath Open ciccone.lucaMaRDI QIDQ5043585

List of research outcomes





PublicationDate of PublicationType
An infinitary proof theory of linear logic ensuring fair termination in the linear \(\pi\)-calculus2024-08-13Paper
Fair termination of multiparty sessions2024-06-25Paper
https://portal.mardi4nfdi.de/entity/Q60996002023-06-20Paper
Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types2022-10-06Paper

Research outcomes over time

This page was built for person: Luca Ciccone

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:5043585&oldid=11554405"
Powered by MediaWiki