( en | de | ru )

 

Disambiguation of "Sangiorgi, Davide"

Author of the publication

copydeleteadd this publication to your clipboard
Modular coinduction up-to for higher-order languages via first-order transition systems.

, , and . Log. Methods Comput. Sci., (2021)

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.

Davide Sangiorgi

Davide Cadamuro

Davide Pennino

Davide Batic

Davide Pagani

 

Other publications of authors with the same name

Eager Functions as Processes., , and . CoRR, (2021)Modeling Imperative Constructs in the Pi-Calculus., , and . ICTCS, volume 2504 of CEUR Workshop Proceedings, page 136-138. CEUR-WS.org, (2019)Games, Mobile Processes, and Functions., and . CSL, volume 216 of LIPIcs, page 25:1-25:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)From enhanced coinduction towards enhanced induction.. Proc. ACM Program. Lang., 6 (POPL): 1-29 (2022)Bisimulation and Coinduction Enhancements: A Historical Perspective., and . Formal Aspects Comput., 31 (6): 733-749 (2019)Asynchronous -calculus at Work: The Call-by-Need Strategy.. The Art of Modelling Computational Systems, volume 11760 of Lecture Notes in Computer Science, page 33-49. Springer, (2019)Strong Normalisation in λ-Calculi with References., , and . FSEN, volume 7141 of Lecture Notes in Computer Science, page 128-142. Springer, (2011)Playing with Bisimulation in Erlang., , and . Models, Languages, and Tools for Concurrent and Distributed Programming, volume 11665 of Lecture Notes in Computer Science, page 71-91. Springer, (2019)Unique solutions of contractions, CCS, and their HOL formalisation., and . Inf. Comput., (2020)EXPRESSing Session Types., , , and . EXPRESS/SOS, volume 387 of EPTCS, page 8-25. (2023)