( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A logical account of subtyping for session types.

, и . J. Log. Algebraic Methods Program., (2024)

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 Tuninetti

Luca Rizzini

Luca Tranchini

Alfonz Luca

Marcello Lucà

 

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

On the chemistry of typestate-oriented actors., и . CoRR, (2016)Fair termination of binary sessions., и . Proc. ACM Program. Lang., 6 (POPL): 1-30 (2022)Contract-based discovery of Web services modulo simple orchestrators.. Theor. Comput. Sci., 411 (37): 3328-3347 (2010)A Dependently Typed Linear π-Calculus in Agda., и . PPDP, стр. 8:1-8:14. ACM, (2020)Polymorphic Types for Leak Detection in a Session-Oriented Functional Language., , и . FMOODS/FORTE, том 7892 из Lecture Notes in Computer Science, стр. 83-98. Springer, (2013)Context-Free Session Type Inference.. ESOP, том 10201 из Lecture Notes in Computer Science, стр. 804-830. Springer, (2017)A logical account of subtyping for session types., и . J. Log. Algebraic Methods Program., (2024)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)Contract-Directed Synthesis of Simple Orchestrators.. CONCUR, том 5201 из Lecture Notes in Computer Science, стр. 131-146. Springer, (2008)Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types.. FoSSaCS, том 8412 из Lecture Notes in Computer Science, стр. 88-102. Springer, (2014)