On the Termination Problem for Probabilistic Higher-Order Recursive Programs
Kobayashi, Naoki, Dal Lago, Ugo, Grellois, Charles
Published in Logical methods in computer science (01.01.2020)
Published in Logical methods in computer science (01.01.2020)
Get full text
Journal Article
On Higher-Order Probabilistic Subrecursion
Breuvart, Flavien, Lago, Ugo Dal, Herrou, Agathe
Published in Logical methods in computer science (01.01.2021)
Published in Logical methods in computer science (01.01.2021)
Get full text
Journal Article
The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens
Dal Lago, Ugo, Tanaka, Ryo, Yoshimizu, Akira
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2017)
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2017)
Get full text
Conference Proceeding
Wave-Style Token Machines and Quantum Lambda Calculi
Dal Lago, Ugo, Zorzi, Margherita
Published in Electronic proceedings in theoretical computer science (16.02.2015)
Published in Electronic proceedings in theoretical computer science (16.02.2015)
Get full text
Journal Article
Parallelism and Synchronization in an Infinitary Context
Dal Lago, Ugo, Faggian, Claudia, Valiron, Benoit, Yoshimizu, Akira
Published in 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (01.07.2015)
Published in 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (01.07.2015)
Get full text
Conference Proceeding
Probabilistic Termination by Monadic Affine Sized Typing
Lago, Ugo Dal, Grellois, Charles
Published in ACM transactions on programming languages and systems (30.06.2019)
Published in ACM transactions on programming languages and systems (30.06.2019)
Get full text
Journal Article
Preface to the special issue on metric and differential semantics
Dal Lago, Ugo, Gavazzo, Francesco, Pistone, Paolo
Published in Mathematical structures in computer science (01.04.2023)
Published in Mathematical structures in computer science (01.04.2023)
Get full text
Journal Article
Probabilistic operational semantics for the lambda calculus
Lago, Ugo Dal, Zorzi, Margherita
Published in RAIRO. Informatique théorique et applications (01.07.2012)
Published in RAIRO. Informatique théorique et applications (01.07.2012)
Get full text
Journal Article
Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs
Baillot, Patrick, Barthe, Gilles, Dal Lago, Ugo
Published in Journal of automated reasoning (01.12.2019)
Published in Journal of automated reasoning (01.12.2019)
Get full text
Journal Article
Soft Session Types
Dal Lago, Ugo, Di Giamberardino, Paolo
Published in Electronic proceedings in theoretical computer science (20.08.2011)
Published in Electronic proceedings in theoretical computer science (20.08.2011)
Get full text
Journal Article
Effectful applicative bisimilarity: Monads, relators, and Howe's method
Dal Lago, Ugo, Gavazzo, Francesco, Levy, Paul Blain
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2017)
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2017)
Get full text
Conference Proceeding
The Space of Interaction
Accattoli, Beniamino, Lago, Ugo Dal, Vanoni, Gabriele
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)
Get full text
Conference Proceeding
Implicit recursion-theoretic characterizations of counting classes
Dal Lago, Ugo, Kahle, Reinhard, Oitavem, Isabel
Published in Archive for mathematical logic (01.11.2022)
Published in Archive for mathematical logic (01.11.2022)
Get full text
Journal Article