PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Lago, Ugo Dal"

Author of the publication

copydeleteadd this publication to your clipboard
Intersection types and runtime errors in the pi-calculus.

, , , and . Proc. ACM Program. Lang., 3 (POPL): 7:1-7:29 (2019)

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.

Ingo Dalcolmo University of Stuttgart

 

Other publications of authors with the same name

Context Semantics, Linear Logic and Computational Complexity.. LICS, page 169-178. IEEE Computer Society, (2006)Computation by interaction for space-bounded functional programming., and . Inf. Comput., (2016)Parallelism and Synchronization in an Infinitary Context., , , and . LICS, page 559-572. IEEE Computer Society, (2015)Quantitative Game Semantics for Linear Logic., and . CSL, volume 5213 of Lecture Notes in Computer Science, page 230-245. Springer, (2008)An Invariant Cost Model for the Lambda Calculus., and . CiE, volume 3988 of Lecture Notes in Computer Science, page 105-114. Springer, (2006)On the Equivalence of Automaton-Based Representations of Time Granularities., , and . TIME, page 82-93. IEEE Computer Society, (2007)The geometry of types., and . POPL, page 167-178. ACM, (2013)Probabilistic Recursion Theory and Implicit Computational Complexity., and . ICTAC, volume 8687 of Lecture Notes in Computer Science, page 97-114. Springer, (2014)On the Termination Problem for Probabilistic Higher-Order Recursive Programs., , and . LICS, page 1-14. IEEE, (2019)A Short Introduction to Implicit Computational Complexity.. ESSLLI, volume 7388 of Lecture Notes in Computer Science, page 89-109. Springer, (2011)