( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Dependently Typed Linear π-Calculus in Agda.

, и . PPDP, стр. 8:1-8:14. ACM, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Luca Rizzini

Luca Tranchini

Alfonz Luca

Marcello Lucà

Luca Criscuolo

 

Другие публикации лиц с тем же именем

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