( en | de | ru )

 

Disambiguation of "Lago, Ugo Dal"

Author of the publication

copydeleteadd this publication to your clipboard
Light Logics and Optimal Reduction: Completeness and Complexity.

, , and . LICS, page 421-430. IEEE Computer Society, (2007)

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.

Karl Dal Lago

Alexandre Lago

Ugo Marchand

Ugo Gentile

Ugo Merkli

 

Other publications of authors with the same name

Wave-Style Token Machines and Quantum Lambda Calculi., and . CoRR, (2013)Context semantics, linear logic, and computational complexity.. ACM Trans. Comput. Log., 10 (4): 25:1-25:32 (2009)On Higher-Order Probabilistic Subrecursion., , and . FoSSaCS, volume 10203 of Lecture Notes in Computer Science, page 370-386. (2017)On the Taylor Expansion of Probabilistic lambda-terms., and . FSCD, volume 131 of LIPIcs, page 13:1-13:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)On Sharing, Memoization, and Polynomial Time., and . STACS, volume 30 of LIPIcs, page 62-75. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Solvability in a Probabilistic Setting (Invited Talk)., , and . FSCD, volume 167 of LIPIcs, page 1:1-1:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)On Dynamic Lifting and Effect Typing in Circuit Description Languages., and . TYPES, volume 269 of LIPIcs, page 3:1-3:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Planning with a Language for Extended Goals., , and . AAAI/IAAI, page 447-454. AAAI Press / The MIT Press, (2002)Reasonable Space for the λ-Calculus, Logarithmically., , and . LICS, page 47:1-47:13. ACM, (2022)Multi Types and Reasonable Space (Long Version)., , and . CoRR, (2022)