( en | de | ru )

 

Disambiguation of "Lago, Ugo Dal"

Author of the publication

copydeleteadd this publication to your clipboard
Planning with a Language for Extended Goals.

, , and . AAAI/IAAI, page 447-454. AAAI Press / The MIT Press, (2002)

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

(Leftmost-Outermost) Beta Reduction is Invariant, Indeed., and . Logical Methods in Computer Science, (2016)An Invariant Cost Model for the Lambda Calculus., and . CiE, volume 3988 of Lecture Notes in Computer Science, page 105-114. Springer, (2006)On Higher-Order Cryptography (Long Version)., , and . CoRR, (2020)A Log-Sensitive Encoding of Turing Machines in the λ-Calculus., , and . CoRR, (2023)A Short Introduction to Implicit Computational Complexity.. ESSLLI, volume 7388 of Lecture Notes in Computer Science, page 89-109. Springer, (2011)Quantitative Game Semantics for Linear Logic., and . CSL, volume 5213 of Lecture Notes in Computer Science, page 230-245. Springer, (2008)On the Equivalence of Automaton-Based Representations of Time Granularities., , and . TIME, page 82-93. IEEE Computer Society, (2007)The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens., , and . LICS, page 1-12. IEEE Computer Society, (2017)Parallelism and Synchronization in an Infinitary Context., , , and . LICS, page 559-572. IEEE Computer Society, (2015)Context Semantics, Linear Logic and Computational Complexity.. LICS, page 169-178. IEEE Computer Society, (2006)