Ugo Dal Lago
Università degli Studi di Bologna
H-index: 34
Europe-Italy
Top articles of Ugo Dal Lago
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
On basic feasible functionals and the interpretation method | Patrick Baillot Ugo Dal Lago Cynthia Kop Deivid Vale | 2024/4/6 | |
Circuit Width Estimation via Effect Typing and Linear Dependency | arXiv preprint arXiv:2310.19096 | Andrea Colledan Ugo Dal Lago | 2023/10/29 |
On Model-Checking Higher-Order Effectful Programs | Proceedings of the ACM on Programming Languages | Ugo Dal Lago Alexis Ghyselen | 2024/1/5 |
On Model-Checking Higher-Order Effectful Programs (Long Version) | arXiv preprint arXiv:2308.16542 | Ugo Dal Lago Alexis Ghyselen | 2023/8/31 |
Preface to the special issue on metric and differential semantics | Mathematical Structures in Computer Science | Ugo Dal Lago Francesco Gavazzo Paolo Pistone | 2023/4 |
A Log-Sensitive Encoding of Turing Machines in the -Calculus | arXiv preprint arXiv:2301.12556 | Beniamino Accattoli Ugo Dal Lago Gabriele Vanoni | 2023/1/29 |
Towards logical foundations for probabilistic computation | Annals of Pure and Applied Logic | Melissa Antonelli Ugo Dal Lago Paolo Pistone | 2023/7/27 |
Open Higher-Order Logic | LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS | Ugo Dal Lago Francesco Gavazzo Alexis Ghyselen | 2023 |
On counting propositional logic and Wagner's hierarchy | Theoretical Computer Science | Melissa Antonelli Ugo Dal Lago Paolo Pistone | 2023/7/26 |
Contextual Behavioural Metrics | Ugo Dal Lago Maurizio Murgia | 2023 | |
Enumerating error bounded polytime algorithms through arithmetical theories | arXiv preprint arXiv:2311.15003 | Melissa Antonelli Ugo Dal Lago Davide Davoli Isabel Oitavem Paolo Pistone | 2023/11/25 |
Contextual behavioural Metrics (Extended Version) | arXiv preprint arXiv:2307.07400 | Ugo Dal Lago Maurizio Murgia | 2023/7/14 |
(Not So) Boring Abstract Machines | Ugo Dal Lago Gabriele Vanoni | 2023/9/13 | |
On the Lattice of Program Metrics | arXiv preprint arXiv:2302.05022 | Ugo Dal Lago Naohiko Hoshino Paolo Pistone | 2023/2/10 |
Towards Randomized Bounded Arithmetic | Proc. AILA (Book of Abstract) | Melissa Antonelli Ugo Dal Lago Davide Davoli Isabel Oitavem Paolo Pistone | 2022 |
Implicit computation complexity in higher-order programming languages: A Survey in Memory of Martin Hofmann | Mathematical Structures in Computer Science | Ugo Dal Lago | 2022/6 |
Reasonable Space for the λ-calculus, Logarithmically | Beniamino Accattoli Ugo Dal Lago Gabriele Vanoni | 2022/8/2 | |
Tidy: Symbolic Verification of Timed Cryptographic Protocols | Gilles Barthe Ugo Dal Lago Giulio Malavolta Itsaka Rakotonirina | 2022/11/7 | |
On quantitative algebraic higher-order theories | arXiv preprint arXiv:2204.13654 | Ugo Dal Lago Furio Honsell Marina Lenisa Paolo Pistone | 2022/4/28 |
On Feller Continuity and Full Abstraction (Long Version) | arXiv preprint arXiv:2207.10590 | Gilles Barthe Raphaëlle Crubillé Ugo Dal Lago Francesco Gavazzo | 2022/7/21 |