( en | de | ru )

 

Disambiguierung von "Ciccone, Luca"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Dependently Typed Linear π-Calculus in Agda.

, und . PPDP, Seite 8:1-8:14. ACM, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Luca Rizzini

Luca Tranchini

Luca Tuninetti

Alfonz Luca

Marcello Lucà

 

Weitere Publikationen von Autoren mit dem selben Namen

Flexible Coinduction in Agda.. CoRR, (2020)A Dependently Typed Linear π-Calculus in Agda., und . PPDP, Seite 8:1-8:14. ACM, (2020)Fair termination of binary sessions., und . Proc. ACM Program. Lang., 6 (POPL): 1-30 (2022)An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus., und . CONCUR, Volume 243 von LIPIcs, Seite 36:1-36:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Flexible Coinduction in Agda., , und . ITP, Volume 193 von LIPIcs, Seite 13:1-13:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Timed Trace Expressions., , , und . CILC, Volume 2396 von CEUR Workshop Proceedings, Seite 229-241. CEUR-WS.org, (2019)Fair termination of multiparty sessions., , und . J. Log. Algebraic Methods Program., (2024)Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types., und . ICALP, Volume 198 von LIPIcs, Seite 125:1-125:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Fair Termination of Multiparty Sessions., , und . ECOOP, Volume 222 von LIPIcs, Seite 26:1-26:26. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)