( en | de | ru )

 

Disambiguation of "de'Liguoro, Ugo"

Author of the publication

copydeleteadd this publication to your clipboard
Subtyping Object and Recursive Types Logically.

, and . ICTCS, volume 3701 of Lecture Notes in Computer Science, page 66-80. Springer, (2005)

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. You can also use the button next to the name to display some publications already assigned to the person.

Ugo Marchand

Ugo Gentile

Ugo Merkli

Ugo Negretto

Ugo Tricoli

 

Other publications of authors with the same name

Session types and subtyping for orchestrated interactions., and . J. Log. Algebraic Methods Program., (2019)Global Types for Open Systems., , and . ICE, volume 279 of EPTCS, page 4-20. (2018)Characterisation of Strongly Normalising lambda-mu-Terms., , and . ITRS, volume 121 of EPTCS, page 1-17. (2012)Retractable and Speculative Contracts., , and . COORDINATION, volume 10319 of Lecture Notes in Computer Science, page 119-137. Springer, (2017)Towards refinable choreographies., , and . J. Log. Algebraic Methods Program., (2022)Calculi, types and applications: Essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della Rocca., and . Theor. Comput. Sci., 398 (1-3): 1-11 (2008)Secure Multiparty Sessions with Topics., , and . PLACES, volume 211 of EPTCS, page 1-12. (2016)Filter Models for a Parallel and Non Deterministic Lambda-Calculus., , and . MFCS, volume 711 of Lecture Notes in Computer Science, page 403-412. Springer, (1993)A Calculus of Realizers for EM1 Arithmetic (Extended Abstract)., and . CSL, volume 5213 of Lecture Notes in Computer Science, page 215-229. Springer, (2008)Mixin Composition Synthesis based on Intersection Types., , , , , and . Logical Methods in Computer Science, (2018)