iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/pid/44/3105.ris
Provider: Schloss Dagstuhl - Leibniz Center for Informatics Database: dblp computer science bibliography Content:text/plain; charset="utf-8" TY - JOUR ID - DBLP:journals/apal/AntonelliLP24 AU - Antonelli, Melissa AU - Lago, Ugo Dal AU - Pistone, Paolo TI - Towards logical foundations for probabilistic computation. JO - Ann. Pure Appl. Log. VL - 175 IS - 9 SP - 103341 PY - 2024// DO - 10.1016/J.APAL.2023.103341 UR - https://doi.org/10.1016/j.apal.2023.103341 ER - TY - JOUR ID - DBLP:journals/lmcs/AccattoliLV24 AU - Accattoli, Beniamino AU - Lago, Ugo Dal AU - Vanoni, Gabriele TI - Reasonable Space for the ${\lambda}$-Calculus, Logarithmically. JO - Log. Methods Comput. Sci. VL - 20 IS - 4 PY - 2024// DO - 10.46298/LMCS-20(4:15)2024 UR - https://doi.org/10.46298/lmcs-20(4:15)2024 ER - TY - JOUR ID - DBLP:journals/pacmpl/LagoG24 AU - Lago, Ugo Dal AU - Ghyselen, Alexis TI - On Model-Checking Higher-Order Effectful Programs. JO - Proc. ACM Program. Lang. VL - 8 IS - POPL SP - 2610 EP - 2638 PY - 2024/01/ DO - 10.1145/3632929 UR - https://doi.org/10.1145/3632929 ER - TY - JOUR ID - DBLP:journals/tcs/LagoG24 AU - Lago, Ugo Dal AU - Gorla, Daniele TI - Preface. JO - Theor. Comput. Sci. VL - 1010 SP - 114716 PY - 2024// DO - 10.1016/J.TCS.2024.114716 UR - https://doi.org/10.1016/j.tcs.2024.114716 ER - TY - CPAPER ID - DBLP:conf/aplas/LagoGG24 AU - Lago, Ugo Dal AU - Galal, Zeinab AU - Giusti, Giulia TI - On Computational Indistinguishability and Logical Relations. BT - Programming Languages and Systems - 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings SP - 241 EP - 263 PY - 2024// DO - 10.1007/978-981-97-8943-6_12 UR - https://doi.org/10.1007/978-981-97-8943-6_12 ER - TY - CPAPER ID - DBLP:conf/csfw/LagoDK24 AU - Lago, Ugo Dal AU - Davoli, Davide AU - Kapron, Bruce M. TI - On Separation Logic, Computational Independence, and Pseudorandomness. BT - 37th IEEE Computer Security Foundations Symposium, CSF 2024, Enschede, Netherlands, July 8-12, 2024 SP - 80 EP - 95 PY - 2024// DO - 10.1109/CSF61375.2024.00040 UR - https://doi.org/10.1109/CSF61375.2024.00040 ER - TY - CPAPER ID - DBLP:conf/csl/AntonelliLDOP24 AU - Antonelli, Melissa AU - Lago, Ugo Dal AU - Davoli, Davide AU - Oitavem, Isabel AU - Pistone, Paolo TI - Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories. BT - 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, February 19-23, 2024, Naples, Italy SP - 10:1 EP - 10:19 PY - 2024// DO - 10.4230/LIPICS.CSL.2024.10 UR - https://doi.org/10.4230/LIPIcs.CSL.2024.10 ER - TY - CPAPER ID - DBLP:conf/esop/ColledanL24 AU - Colledan, Andrea AU - Lago, Ugo Dal TI - Circuit Width Estimation via Effect Typing and Linear Dependency. BT - Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II SP - 3 EP - 30 PY - 2024// DO - 10.1007/978-3-031-57267-8_1 UR - https://doi.org/10.1007/978-3-031-57267-8_1 ER - TY - CPAPER ID - DBLP:conf/fossacs/BaillotLKV24 AU - Baillot, Patrick AU - Lago, Ugo Dal AU - Kop, Cynthia AU - Vale, Deivid TI - On Basic Feasible Functionals and the Interpretation Method. BT - Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II SP - 70 EP - 91 PY - 2024// DO - 10.1007/978-3-031-57231-9_4 UR - https://doi.org/10.1007/978-3-031-57231-9_4 ER - TY - CPAPER ID - DBLP:conf/ppdp/LagoP24 AU - Lago, Ugo Dal AU - Padovani, Luca TI - On the Almost-Sure Termination of Binary Sessions. BT - Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, PPDP 2024, Milano, Italy, September 9-11, 2024 SP - 9:1 EP - 9:12 PY - 2024// DO - 10.1145/3678232.3678239 UR - https://doi.org/10.1145/3678232.3678239 ER - TY - CONF ID - DBLP:conf/lics/2024 ED - Sobocinski, Pawel ED - Lago, Ugo Dal ED - Esparza, Javier TI - Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2024, Tallinn, Estonia, July 8-11, 2024 PY - 2024// PB - ACM DO - 10.1145/3661814 UR - https://doi.org/10.1145/3661814 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2401-12385 AU - Baillot, Patrick AU - Lago, Ugo Dal AU - Kop, Cynthia AU - Vale, Deivid TI - On Basic Feasible Functionals and the Interpretation Method. JO - CoRR VL - abs/2401.12385 PY - 2024// DO - 10.48550/ARXIV.2401.12385 UR - https://doi.org/10.48550/arXiv.2401.12385 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2405-11987 AU - Lago, Ugo Dal AU - Davoli, Davide AU - Kapron, Bruce M. TI - On Separation Logic, Computational Independence, and Pseudorandomness (Extended Version). JO - CoRR VL - abs/2405.11987 PY - 2024// DO - 10.48550/ARXIV.2405.11987 UR - https://doi.org/10.48550/arXiv.2405.11987 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2408-03121 AU - Colledan, Andrea AU - Lago, Ugo Dal TI - Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages. JO - CoRR VL - abs/2408.03121 PY - 2024// DO - 10.48550/ARXIV.2408.03121 UR - https://doi.org/10.48550/arXiv.2408.03121 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2408-17340 AU - Lago, Ugo Dal AU - Galal, Zeinab AU - Giusti, Giulia TI - On Computational Indistinguishability and Logical Relations. JO - CoRR VL - abs/2408.17340 PY - 2024// DO - 10.48550/ARXIV.2408.17340 UR - https://doi.org/10.48550/arXiv.2408.17340 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2409-11133 AU - Lanese, Ivan AU - Lago, Ugo Dal AU - Choudhury, Vikraman TI - Towards Quantum Multiparty Session Types. JO - CoRR VL - abs/2409.11133 PY - 2024// DO - 10.48550/ARXIV.2409.11133 UR - https://doi.org/10.48550/arXiv.2409.11133 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2409-11999 AU - Antonelli, Melissa AU - Lago, Ugo Dal AU - Pistone, Paolo TI - On Randomized Computational Models and Complexity Classes: a Historical Overview. JO - CoRR VL - abs/2409.11999 PY - 2024// DO - 10.48550/ARXIV.2409.11999 UR - https://doi.org/10.48550/arXiv.2409.11999 ER - TY - JOUR ID - DBLP:journals/mscs/LagoGP23 AU - Lago, Ugo Dal AU - Gavazzo, Francesco AU - Pistone, Paolo TI - Preface to the special issue on metric and differential semantics. JO - Math. Struct. Comput. Sci. VL - 33 IS - 4-5 SP - 180 EP - 181 PY - 2023// DO - 10.1017/S0960129523000270 UR - https://doi.org/10.1017/s0960129523000270 ER - TY - JOUR ID - DBLP:journals/tcs/AntonelliLP23 AU - Antonelli, Melissa AU - Lago, Ugo Dal AU - Pistone, Paolo TI - On counting propositional logic and Wagner's hierarchy. JO - Theor. Comput. Sci. VL - 966-967 SP - 113928 PY - 2023// DO - 10.1016/J.TCS.2023.113928 UR - https://doi.org/10.1016/j.tcs.2023.113928 ER - TY - CPAPER ID - DBLP:conf/concur/Lago023 AU - Lago, Ugo Dal AU - Murgia, Maurizio TI - Contextual Behavioural Metrics. BT - 34th International Conference on Concurrency Theory, CONCUR 2023, September 18-23, 2023, Antwerp, Belgium SP - 38:1 EP - 38:17 PY - 2023// DO - 10.4230/LIPICS.CONCUR.2023.38 UR - https://doi.org/10.4230/LIPIcs.CONCUR.2023.38 ER - TY - CPAPER ID - DBLP:conf/csl/LagoGG23 AU - Lago, Ugo Dal AU - Gavazzo, Francesco AU - Ghyselen, Alexis TI - Open Higher-Order Logic. BT - 31st EACSL Annual Conference on Computer Science Logic, CSL 2023, February 13-16, 2023, Warsaw, Poland. SP - 17:1 EP - 17:17 PY - 2023// DO - 10.4230/LIPICS.CSL.2023.17 UR - https://doi.org/10.4230/LIPIcs.CSL.2023.17 ER - TY - CPAPER ID - DBLP:conf/fscd/LagoHP23 AU - Lago, Ugo Dal AU - Hoshino, Naohiko AU - Pistone, Paolo TI - On the Lattice of Program Metrics. BT - 8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023, July 3-6, 2023, Rome, Italy SP - 20:1 EP - 20:19 PY - 2023// DO - 10.4230/LIPICS.FSCD.2023.20 UR - https://doi.org/10.4230/LIPIcs.FSCD.2023.20 ER - TY - CPAPER ID - DBLP:conf/ictcs/LagoV23 AU - Lago, Ugo Dal AU - Vanoni, Gabriele TI - (Not So) Boring Abstract Machines. BT - Proceedings of the 24th Italian Conference on Theoretical Computer Science, Palermo, Italy, September 13-15, 2023. SP - 225 EP - 240 PY - 2023// UR - https://ceur-ws.org/Vol-3587/9878.pdf ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2301-12028 AU - Antonelli, Melissa AU - Lago, Ugo Dal AU - Davoli, Davide AU - Oitavem, Isabel AU - Pistone, Paolo TI - An Arithmetic Theory for the Poly-Time Random Functions. JO - CoRR VL - abs/2301.12028 PY - 2023// DO - 10.48550/ARXIV.2301.12028 UR - https://doi.org/10.48550/arXiv.2301.12028 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2301-12556 AU - Accattoli, Beniamino AU - Lago, Ugo Dal AU - Vanoni, Gabriele TI - A Log-Sensitive Encoding of Turing Machines in the λ-Calculus. JO - CoRR VL - abs/2301.12556 PY - 2023// DO - 10.48550/ARXIV.2301.12556 UR - https://doi.org/10.48550/arXiv.2301.12556 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2302-05022 AU - Lago, Ugo Dal AU - Hoshino, Naohiko AU - Pistone, Paolo TI - On the Lattice of Program Metrics. JO - CoRR VL - abs/2302.05022 PY - 2023// DO - 10.48550/ARXIV.2302.05022 UR - https://doi.org/10.48550/arXiv.2302.05022 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2307-07400 AU - Lago, Ugo Dal AU - Murgia, Maurizio TI - Contextual Behavioural Metrics (Extended Version). JO - CoRR VL - abs/2307.07400 PY - 2023// DO - 10.48550/ARXIV.2307.07400 UR - https://doi.org/10.48550/arXiv.2307.07400 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2308-16542 AU - Lago, Ugo Dal AU - Ghyselen, Alexis TI - On Model-Checking Higher-Order Effectful Programs (Long Version). JO - CoRR VL - abs/2308.16542 PY - 2023// DO - 10.48550/ARXIV.2308.16542 UR - https://doi.org/10.48550/arXiv.2308.16542 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2310-19096 AU - Colledan, Andrea AU - Lago, Ugo Dal TI - Circuit Width Estimation via Effect Typing and Linear Dependency (Long Version). JO - CoRR VL - abs/2310.19096 PY - 2023// DO - 10.48550/ARXIV.2310.19096 UR - https://doi.org/10.48550/arXiv.2310.19096 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2311-15003 AU - Antonelli, Melissa AU - Lago, Ugo Dal AU - Davoli, Davide AU - Oitavem, Isabel AU - Pistone, Paolo TI - Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories. JO - CoRR VL - abs/2311.15003 PY - 2023// DO - 10.48550/ARXIV.2311.15003 UR - https://doi.org/10.48550/arXiv.2311.15003 ER - TY - JOUR ID - DBLP:journals/aml/LagoKO22 AU - Lago, Ugo Dal AU - Kahle, Reinhard AU - Oitavem, Isabel TI - Implicit recursion-theoretic characterizations of counting classes. JO - Arch. Math. Log. VL - 61 IS - 7-8 SP - 1129 EP - 1144 PY - 2022// DO - 10.1007/S00153-022-00828-4 UR - https://doi.org/10.1007/s00153-022-00828-4 ER - TY - JOUR ID - DBLP:journals/mscs/Lago22 AU - Lago, Ugo Dal TI - Implicit computation complexity in higher-order programming languages: A Survey in Memory of Martin Hofmann. JO - Math. Struct. Comput. Sci. VL - 32 IS - 6 SP - 760 EP - 776 PY - 2022/06/ DO - 10.1017/S0960129521000505 UR - https://doi.org/10.1017/S0960129521000505 ER - TY - JOUR ID - DBLP:journals/pacmpl/AccattoliLV22 AU - Accattoli, Beniamino AU - Lago, Ugo Dal AU - Vanoni, Gabriele TI - Multi types and reasonable space. JO - Proc. ACM Program. Lang. VL - 6 IS - ICFP SP - 799 EP - 825 PY - 2022// DO - 10.1145/3547650 UR - https://doi.org/10.1145/3547650 UR - https://www.wikidata.org/entity/Q114070930 ER - TY - JOUR ID - DBLP:journals/pacmpl/BartheCLG22 AU - Barthe, Gilles AU - Crubillé, Raphaëlle AU - Lago, Ugo Dal AU - Gavazzo, Francesco TI - On Feller continuity and full abstraction. JO - Proc. ACM Program. Lang. VL - 6 IS - ICFP SP - 826 EP - 854 PY - 2022// DO - 10.1145/3547651 UR - https://doi.org/10.1145/3547651 UR - https://www.wikidata.org/entity/Q114070928 ER - TY - JOUR ID - DBLP:journals/pacmpl/LagoG22 AU - Lago, Ugo Dal AU - Gavazzo, Francesco TI - Effectful program distancing. JO - Proc. ACM Program. Lang. VL - 6 IS - POPL SP - 1 EP - 30 PY - 2022// DO - 10.1145/3498680 UR - https://doi.org/10.1145/3498680 ER - TY - JOUR ID - DBLP:journals/pacmpl/LagoG22a AU - Lago, Ugo Dal AU - Gavazzo, Francesco TI - A relational theory of effects and coeffects. JO - Proc. ACM Program. Lang. VL - 6 IS - POPL SP - 1 EP - 28 PY - 2022// DO - 10.1145/3498692 UR - https://doi.org/10.1145/3498692 ER - TY - CPAPER ID - DBLP:conf/ccs/BartheLMR22 AU - Barthe, Gilles AU - Lago, Ugo Dal AU - Malavolta, Giulio AU - Rakotonirina, Itsaka TI - Tidy: Symbolic Verification of Timed Cryptographic Protocols. BT - Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022 SP - 263 EP - 276 PY - 2022// DO - 10.1145/3548606.3559343 UR - https://doi.org/10.1145/3548606.3559343 ER - TY - CPAPER ID - DBLP:conf/concur/LagoG22 AU - Lago, Ugo Dal AU - Giusti, Giulia TI - On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments. BT - 33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland. SP - 37:1 EP - 37:18 PY - 2022// DO - 10.4230/LIPICS.CONCUR.2022.37 UR - https://doi.org/10.4230/LIPIcs.CONCUR.2022.37 ER - TY - CPAPER ID - DBLP:conf/fscd/LagoHLP22 AU - Lago, Ugo Dal AU - Honsell, Furio AU - Lenisa, Marina AU - Pistone, Paolo TI - On Quantitative Algebraic Higher-Order Theories. BT - 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022, August 2-5, 2022, Haifa, Israel. SP - 4:1 EP - 4:18 PY - 2022// DO - 10.4230/LIPICS.FSCD.2022.4 UR - https://doi.org/10.4230/LIPIcs.FSCD.2022.4 ER - TY - CPAPER ID - DBLP:conf/lics/AntonelliLP22 AU - Antonelli, Melissa AU - Lago, Ugo Dal AU - Pistone, Paolo TI - Curry and Howard Meet Borel. BT - LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022 SP - 45:1 EP - 45:13 PY - 2022// DO - 10.1145/3531130.3533361 UR - https://doi.org/10.1145/3531130.3533361 ER - TY - CPAPER ID - DBLP:conf/lics/AccattoliLV22 AU - Accattoli, Beniamino AU - Lago, Ugo Dal AU - Vanoni, Gabriele TI - Reasonable Space for the λ-Calculus, Logarithmically. BT - LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022 SP - 47:1 EP - 47:13 PY - 2022// DO - 10.1145/3531130.3533362 UR - https://doi.org/10.1145/3531130.3533362 ER - TY - CPAPER ID - DBLP:conf/types/ColledanL22 AU - Colledan, Andrea AU - Lago, Ugo Dal TI - On Dynamic Lifting and Effect Typing in Circuit Description Languages. BT - 28th International Conference on Types for Proofs and Programs, TYPES 2022, June 20-25, 2022, LS2N, University of Nantes, France SP - 3:1 EP - 3:21 PY - 2022// DO - 10.4230/LIPICS.TYPES.2022.3 UR - https://doi.org/10.4230/LIPIcs.TYPES.2022.3 ER - TY - CONF ID - DBLP:conf/ictcs/2022 ED - Lago, Ugo Dal ED - Gorla, Daniele TI - Proceedings of the 23rd Italian Conference on Theoretical Computer Science, ICTCS 2022, Rome, Italy, September 7-9, 2022. T3 - CEUR Workshop Proceedings VL - 3284 PY - 2022// PB - CEUR-WS.org UR - https://ceur-ws.org/Vol-3284 UR - https://nbn-resolving.org/urn:nbn:de:0074-3284-4 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2202-07636 AU - Colledan, Andrea AU - Lago, Ugo Dal TI - On Dynamic Lifting and Effect Typing in Circuit Description Languages (Extended Version). JO - CoRR VL - abs/2202.07636 PY - 2022// UR - https://arxiv.org/abs/2202.07636 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2203-00362 AU - Accattoli, Beniamino AU - Lago, Ugo Dal AU - Vanoni, Gabriele TI - Reasonable Space for the λ-Calculus, Logarithmically. JO - CoRR VL - abs/2203.00362 PY - 2022// DO - 10.48550/ARXIV.2203.00362 UR - https://doi.org/10.48550/arXiv.2203.00362 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2203-11265 AU - Antonelli, Melissa AU - Lago, Ugo Dal AU - Pistone, Paolo TI - Curry and Howard Meet Borel. JO - CoRR VL - abs/2203.11265 PY - 2022// DO - 10.48550/ARXIV.2203.11265 UR - https://doi.org/10.48550/arXiv.2203.11265 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2203-15426 AU - Lago, Ugo Dal AU - Gavazzo, Francesco AU - Ghyselen, Alexis TI - On Reinforcement Learning, Effect Handlers, and the State Monad. JO - CoRR VL - abs/2203.15426 PY - 2022// DO - 10.48550/ARXIV.2203.15426 UR - https://doi.org/10.48550/arXiv.2203.15426 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2204-13654 AU - Lago, Ugo Dal AU - Honsell, Furio AU - Lenisa, Marina AU - Pistone, Paolo TI - On Quantitative Algebraic Higher-Order Theories. JO - CoRR VL - abs/2204.13654 PY - 2022// DO - 10.48550/ARXIV.2204.13654 UR - https://doi.org/10.48550/arXiv.2204.13654 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2207-03360 AU - Lago, Ugo Dal AU - Giusti, Giulia TI - On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments (Long Version). JO - CoRR VL - abs/2207.03360 PY - 2022// DO - 10.48550/ARXIV.2207.03360 UR - https://doi.org/10.48550/arXiv.2207.03360 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2207-08795 AU - Accattoli, Beniamino AU - Lago, Ugo Dal AU - Vanoni, Gabriele TI - Multi Types and Reasonable Space (Long Version). JO - CoRR VL - abs/2207.08795 PY - 2022// DO - 10.48550/ARXIV.2207.08795 UR - https://doi.org/10.48550/arXiv.2207.08795 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2207-10590 AU - Barthe, Gilles AU - Crubillé, Raphaëlle AU - Lago, Ugo Dal AU - Gavazzo, Francesco TI - On Feller Continuity and Full Abstraction (Long Version). JO - CoRR VL - abs/2207.10590 PY - 2022// DO - 10.48550/ARXIV.2207.10590 UR - https://doi.org/10.48550/arXiv.2207.10590 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2211-06671 AU - Lago, Ugo Dal AU - Gavazzo, Francesco AU - Ghyselen, Alexis TI - Open Higher-Order Logic (Long Version). JO - CoRR VL - abs/2211.06671 PY - 2022// DO - 10.48550/ARXIV.2211.06671 UR - https://doi.org/10.48550/arXiv.2211.06671 ER - TY - JOUR ID - DBLP:journals/lmcs/BreuvartLH21 AU - Breuvart, Flavien AU - Lago, Ugo Dal AU - Herrou, Agathe TI - On Higher-Order Probabilistic Subrecursion. JO - Log. Methods Comput. Sci. VL - 17 IS - 4 PY - 2021// DO - 10.46298/LMCS-17(4:25)2021 UR - https://doi.org/10.46298/lmcs-17(4:25)2021 ER - TY - JOUR ID - DBLP:journals/mscs/LagoH21 AU - Lago, Ugo Dal AU - Hoshino, Naohiko TI - The geometry of Bayesian programming. JO - Math. Struct. Comput. Sci. VL - 31 IS - 6 SP - 633 EP - 681 PY - 2021// DO - 10.1017/S0960129521000396 UR - https://doi.org/10.1017/S0960129521000396 ER - TY - JOUR ID - DBLP:journals/pacmpl/AvanziniBL21 AU - Avanzini, Martin AU - Barthe, Gilles AU - Lago, Ugo Dal TI - On continuation-passing transformations and expected cost analysis. JO - Proc. ACM Program. Lang. VL - 5 IS - ICFP SP - 1 EP - 30 PY - 2021// DO - 10.1145/3473592 UR - https://doi.org/10.1145/3473592 ER - TY - JOUR ID - DBLP:journals/pacmpl/AccattoliLV21 AU - Accattoli, Beniamino AU - Lago, Ugo Dal AU - Vanoni, Gabriele TI - The (In)Efficiency of interaction. JO - Proc. ACM Program. Lang. VL - 5 IS - POPL SP - 1 EP - 33 PY - 2021// DO - 10.1145/3434332 UR - https://doi.org/10.1145/3434332 ER - TY - JOUR ID - DBLP:journals/pacmpl/LagoFR21 AU - Lago, Ugo Dal AU - Faggian, Claudia AU - Rocca, Simona Ronchi Della TI - Intersection types and (positive) almost-sure termination. JO - Proc. ACM Program. Lang. VL - 5 IS - POPL SP - 1 EP - 32 PY - 2021// DO - 10.1145/3434313 UR - https://doi.org/10.1145/3434313 ER - TY - JOUR ID - DBLP:journals/tcs/LagoG21 AU - Lago, Ugo Dal AU - Gavazzo, Francesco TI - Differential logical relations, part II increments and derivatives. JO - Theor. Comput. Sci. VL - 895 SP - 34 EP - 47 PY - 2021// DO - 10.1016/J.TCS.2021.09.027 UR - https://doi.org/10.1016/j.tcs.2021.09.027 ER - TY - CPAPER ID - DBLP:conf/cie/AntonelliLP21 AU - Antonelli, Melissa AU - Lago, Ugo Dal AU - Pistone, Paolo TI - On Measure Quantifiers in First-Order Arithmetic. BT - Connecting with Computability - 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings SP - 12 EP - 24 PY - 2021// DO - 10.1007/978-3-030-80049-9_2 UR - https://doi.org/10.1007/978-3-030-80049-9_2 ER - TY - CPAPER ID - DBLP:conf/fscd/LagoG21 AU - Lago, Ugo Dal AU - Gavazzo, Francesco TI - Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Programs. BT - 6th International Conference on Formal Structures for Computation and Deduction, FSCD 2021, July 17-24, 2021, Buenos Aires, Argentina (Virtual Conference). SP - 23:1 EP - 23:19 PY - 2021// DO - 10.4230/LIPICS.FSCD.2021.23 UR - https://doi.org/10.4230/LIPIcs.FSCD.2021.23 ER - TY - CPAPER ID - DBLP:conf/ictcs/AntonelliLP21 AU - Antonelli, Melissa AU - Lago, Ugo Dal AU - Pistone, Paolo TI - On Counting Propositional Logic and Wagner's Hierarchy. BT - Proceedings of the 22nd Italian Conference on Theoretical Computer Science, Bologna, Italy, September 13-15, 2021. SP - 107 EP - 121 PY - 2021// UR - https://ceur-ws.org/Vol-3072/paper9.pdf ER - TY - CPAPER ID - DBLP:conf/lics/AccattoliLV21 AU - Accattoli, Beniamino AU - Lago, Ugo Dal AU - Vanoni, Gabriele TI - The Space of Interaction. BT - 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021 SP - 1 EP - 13 PY - 2021// DO - 10.1109/LICS52264.2021.9470726 UR - https://doi.org/10.1109/LICS52264.2021.9470726 ER - TY - CPAPER ID - DBLP:conf/mfcs/LagoKO21 AU - Lago, Ugo Dal AU - Kahle, Reinhard AU - Oitavem, Isabel TI - A Recursion-Theoretic Characterization of the Probabilistic Class PP. BT - 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia. SP - 35:1 EP - 35:12 PY - 2021// DO - 10.4230/LIPICS.MFCS.2021.35 UR - https://doi.org/10.4230/LIPIcs.MFCS.2021.35 ER - TY - CONF ID - DBLP:journals/corr/abs-2112-14305 ED - Lago, Ugo Dal ED - Paiva, Valeria de TI - Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity&TLLA@IJCAR-FSCD 2020, Online, 29-30 June 2020. T3 - EPTCS VL - 353 PY - 2021// DO - 10.4204/EPTCS.353 UR - https://doi.org/10.4204/EPTCS.353 UR - https://arxiv.org/abs/2112.14305 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2103-03871 AU - Lago, Ugo Dal AU - Gavazzo, Francesco TI - Modal Reasoning = Metric Reasoning, via Lawvere. JO - CoRR VL - abs/2103.03871 PY - 2021// UR - https://arxiv.org/abs/2103.03871 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2103-12862 AU - Antonelli, Melissa AU - Lago, Ugo Dal AU - Pistone, Paolo TI - On Counting Propositional Logic. JO - CoRR VL - abs/2103.12862 PY - 2021// UR - https://arxiv.org/abs/2103.12862 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2104-12124 AU - Antonelli, Melissa AU - Lago, Ugo Dal AU - Pistone, Paolo TI - On Measure Quantifiers in First-Order Arithmetic (Long Version). JO - CoRR VL - abs/2104.12124 PY - 2021// UR - https://arxiv.org/abs/2104.12124 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2104-13795 AU - Accattoli, Beniamino AU - Lago, Ugo Dal AU - Vanoni, Gabriele TI - The Space of Interaction (long version). JO - CoRR VL - abs/2104.13795 PY - 2021// UR - https://arxiv.org/abs/2104.13795 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2106-12849 AU - Lago, Ugo Dal AU - Gavazzo, Francesco TI - Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Systems. JO - CoRR VL - abs/2106.12849 PY - 2021// UR - https://arxiv.org/abs/2106.12849 ER - TY - JOUR ID - DBLP:journals/lmcs/KobayashiLG20 AU - Kobayashi, Naoki AU - Lago, Ugo Dal AU - Grellois, Charles TI - On the Termination Problem for Probabilistic Higher-Order Recursive Programs. JO - Log. Methods Comput. Sci. VL - 16 IS - 4 PY - 2020// UR - https://lmcs.episciences.org/6817 ER - TY - JOUR ID - DBLP:journals/scp/AvanziniLY20 AU - Avanzini, Martin AU - Lago, Ugo Dal AU - Yamada, Akihisa TI - On probabilistic term rewriting. JO - Sci. Comput. Program. VL - 185 PY - 2020// DO - 10.1016/J.SCICO.2019.102338 UR - https://doi.org/10.1016/j.scico.2019.102338 ER - TY - JOUR ID - DBLP:journals/tcs/LagoV20 AU - Lago, Ugo Dal AU - Vanoni, Gabriele TI - On randomised strategies in the λ-calculus. JO - Theor. Comput. Sci. VL - 813 SP - 100 EP - 116 PY - 2020// DO - 10.1016/J.TCS.2019.09.033 UR - https://doi.org/10.1016/j.tcs.2019.09.033 ER - TY - JOUR ID - DBLP:journals/tcs/LagoGT20 AU - Lago, Ugo Dal AU - Gavazzo, Francesco AU - Tanaka, Ryo TI - Effectful applicative similarity for call-by-name lambda calculi. JO - Theor. Comput. Sci. VL - 813 SP - 234 EP - 247 PY - 2020// DO - 10.1016/J.TCS.2019.12.025 UR - https://doi.org/10.1016/j.tcs.2019.12.025 ER - TY - CPAPER ID - DBLP:conf/esop/BartheCLG20 AU - Barthe, Gilles AU - Crubillé, Raphaëlle AU - Lago, Ugo Dal AU - Gavazzo, Francesco TI - On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem. BT - Programming Languages and Systems - 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings SP - 56 EP - 83 PY - 2020// DO - 10.1007/978-3-030-44914-8_3 UR - https://doi.org/10.1007/978-3-030-44914-8_3 ER - TY - CPAPER ID - DBLP:conf/fossacs/LagoGH20 AU - Lago, Ugo Dal AU - Guerrieri, Giulio AU - Heijltjes, Willem TI - Decomposing Probabilistic Lambda-Calculi. BT - Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings SP - 136 EP - 156 PY - 2020// DO - 10.1007/978-3-030-45231-5_8 UR - https://doi.org/10.1007/978-3-030-45231-5_8 ER - TY - CPAPER ID - DBLP:conf/fscd/RoccaLF20 AU - Rocca, Simona Ronchi Della AU - Lago, Ugo Dal AU - Faggian, Claudia TI - Solvability in a Probabilistic Setting (Invited Talk). BT - 5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020, June 29-July 6, 2020, Paris, France (Virtual Conference). SP - 1:1 EP - 1:17 PY - 2020// DO - 10.4230/LIPICS.FSCD.2020.1 UR - https://doi.org/10.4230/LIPIcs.FSCD.2020.1 ER - TY - CPAPER ID - DBLP:conf/icalp/BarakCL20 AU - Barak, Boaz AU - Crubillé, Raphaëlle AU - Lago, Ugo Dal TI - On Higher-Order Cryptography. BT - 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020, July 8-11, 2020, Saarbrücken, Germany (Virtual Conference). SP - 108:1 EP - 108:16 PY - 2020// DO - 10.4230/LIPICS.ICALP.2020.108 UR - https://doi.org/10.4230/LIPIcs.ICALP.2020.108 ER - TY - CPAPER ID - DBLP:conf/ictcs/LagoG20 AU - Lago, Ugo Dal AU - Gavazzo, Francesco TI - Differential Logical Relations Part II: Increments and Derivatives. BT - Proceedings of the 21st Italian Conference on Theoretical Computer Science, Ischia, Italy, September 14-16, 2020. SP - 101 EP - 114 PY - 2020// UR - https://ceur-ws.org/Vol-2756/paper_10.pdf ER - TY - CPAPER ID - DBLP:conf/ppdp/AccattoliLV20 AU - Accattoli, Beniamino AU - Lago, Ugo Dal AU - Vanoni, Gabriele TI - The Machinery of Interaction. BT - PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, Bologna, Italy, 9-10 September, 2020 SP - 4:1 EP - 4:15 PY - 2020// DO - 10.1145/3414080.3414108 UR - https://doi.org/10.1145/3414080.3414108 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2001-01337 AU - Lago, Ugo Dal AU - Gavazzo, Francesco TI - A Diagrammatic Calculus for Algebraic Effects. JO - CoRR VL - abs/2001.01337 PY - 2020// UR - http://arxiv.org/abs/2001.01337 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2002-05649 AU - Lago, Ugo Dal AU - Accattoli, Beniamino AU - Vanoni, Gabriele TI - The Abstract Machinery of Interaction (Long Version). JO - CoRR VL - abs/2002.05649 PY - 2020// UR - https://arxiv.org/abs/2002.05649 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2002-07218 AU - Barak, Boaz AU - Crubillé, Raphaëlle AU - Lago, Ugo Dal TI - On Higher-Order Cryptography (Long Version). JO - CoRR VL - abs/2002.07218 PY - 2020// UR - https://arxiv.org/abs/2002.07218 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2002-08392 AU - Lago, Ugo Dal AU - Guerrieri, Giulio AU - Heijltjes, Willem TI - Decomposing Probabilistic Lambda-calculi. JO - CoRR VL - abs/2002.08392 PY - 2020// UR - https://arxiv.org/abs/2002.08392 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2002-08489 AU - Barthe, Gilles AU - Crubillé, Raphaëlle AU - Lago, Ugo Dal AU - Gavazzo, Francesco TI - On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem. JO - CoRR VL - abs/2002.08489 PY - 2020// UR - https://arxiv.org/abs/2002.08489 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2010-12689 AU - Lago, Ugo Dal AU - Faggian, Claudia AU - Rocca, Simona Ronchi Della TI - Intersection Types and (Positive) Almost-Sure Termination. JO - CoRR VL - abs/2010.12689 PY - 2020// UR - https://arxiv.org/abs/2010.12689 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2010-12988 AU - Accattoli, Beniamino AU - Lago, Ugo Dal AU - Vanoni, Gabriele TI - The (In)Efficiency of Interaction. JO - CoRR VL - abs/2010.12988 PY - 2020// UR - https://arxiv.org/abs/2010.12988 ER - TY - JOUR ID - DBLP:journals/jar/BaillotBL19 AU - Baillot, Patrick AU - Barthe, Gilles AU - Lago, Ugo Dal TI - Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs. JO - J. Autom. Reason. VL - 63 IS - 4 SP - 813 EP - 855 PY - 2019// DO - 10.1007/S10817-019-09530-2 UR - https://doi.org/10.1007/s10817-019-09530-2 UR - https://www.wikidata.org/entity/Q113901242 ER - TY - JOUR ID - DBLP:journals/pacmpl/LagoVMY19 AU - Lago, Ugo Dal AU - Visme, Marc de AU - Mazza, Damiano AU - Yoshimizu, Akira TI - Intersection types and runtime errors in the pi-calculus. JO - Proc. ACM Program. Lang. VL - 3 IS - POPL SP - 7:1 EP - 7:29 PY - 2019// DO - 10.1145/3290320 UR - https://doi.org/10.1145/3290320 ER - TY - JOUR ID - DBLP:journals/toplas/LagoG19 AU - Lago, Ugo Dal AU - Grellois, Charles TI - Probabilistic Termination by Monadic Affine Sized Typing. JO - ACM Trans. Program. Lang. Syst. VL - 41 IS - 2 SP - 10:1 EP - 10:65 PY - 2019// DO - 10.1145/3293605 UR - https://doi.org/10.1145/3293605 ER - TY - CPAPER ID - DBLP:conf/esop/LagoG19 AU - Lago, Ugo Dal AU - Gavazzo, Francesco TI - Effectful Normal Form Bisimulation. BT - Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings SP - 263 EP - 292 PY - 2019// DO - 10.1007/978-3-030-17184-1_10 UR - https://doi.org/10.1007/978-3-030-17184-1_10 ER - TY - CPAPER ID - DBLP:conf/icalp/LagoGY19 AU - Lago, Ugo Dal AU - Gavazzo, Francesco AU - Yoshimizu, Akira TI - Differential Logical Relations, Part I: The Simply-Typed Case. BT - 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, July 9-12, 2019, Patras, Greece. SP - 111:1 EP - 111:14 PY - 2019// DO - 10.4230/LIPICS.ICALP.2019.111 UR - https://doi.org/10.4230/LIPIcs.ICALP.2019.111 ER - TY - CPAPER ID - DBLP:conf/lics/AvanziniLG19 AU - Avanzini, Martin AU - Lago, Ugo Dal AU - Ghyselen, Alexis TI - Type-Based Complexity Analysis of Probabilistic Functional Programs. BT - 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019 SP - 1 EP - 13 PY - 2019// DO - 10.1109/LICS.2019.8785725 UR - https://doi.org/10.1109/LICS.2019.8785725 ER - TY - CPAPER ID - DBLP:conf/lics/KobayashiLG19 AU - Kobayashi, Naoki AU - Lago, Ugo Dal AU - Grellois, Charles TI - On the Termination Problem for Probabilistic Higher-Order Recursive Programs. BT - 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019 SP - 1 EP - 14 PY - 2019// DO - 10.1109/LICS.2019.8785679 UR - https://doi.org/10.1109/LICS.2019.8785679 ER - TY - CPAPER ID - DBLP:conf/lics/LagoH19 AU - Lago, Ugo Dal AU - Hoshino, Naohiko TI - The Geometry of Bayesian Programming. BT - 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019 SP - 1 EP - 13 PY - 2019// DO - 10.1109/LICS.2019.8785663 UR - https://doi.org/10.1109/LICS.2019.8785663 ER - TY - CPAPER ID - DBLP:conf/rta/LagoL19 AU - Lago, Ugo Dal AU - Leventis, Thomas TI - On the Taylor Expansion of Probabilistic lambda-terms. BT - 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019, June 24-30, 2019, Dortmund, Germany. SP - 13:1 EP - 13:16 PY - 2019// DO - 10.4230/LIPICS.FSCD.2019.13 UR - https://doi.org/10.4230/LIPIcs.FSCD.2019.13 ER - TY - CPAPER ID - DBLP:journals/entcs/LagoG19 AU - Lago, Ugo Dal AU - Gavazzo, Francesco TI - On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice. BT - Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2019, London, UK, June 4-7, 2019 SP - 121 EP - 141 PY - 2019// DO - 10.1016/J.ENTCS.2019.09.007 UR - https://doi.org/10.1016/j.entcs.2019.09.007 UR - https://www.wikidata.org/entity/Q113317356 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-1904-07425 AU - Lago, Ugo Dal AU - Hoshino, Naohiko TI - The Geometry of Bayesian Programming. JO - CoRR VL - abs/1904.07425 PY - 2019// UR - http://arxiv.org/abs/1904.07425 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-1904-09650 AU - Lago, Ugo Dal AU - Leventis, Thomas TI - On the Taylor Expansion of Probabilistic λ-Terms (Long Version). JO - CoRR VL - abs/1904.09650 PY - 2019// UR - http://arxiv.org/abs/1904.09650 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-1904-12137 AU - Lago, Ugo Dal AU - Gavazzo, Francesco AU - Yoshimizu, Akira TI - Differential Logical Relations, Part I: The Simply-Typed Case (Long Version). JO - CoRR VL - abs/1904.12137 PY - 2019// UR - http://arxiv.org/abs/1904.12137 ER - TY - JOUR ID - DBLP:journals/iandc/AvanziniL18 AU - Avanzini, Martin AU - Lago, Ugo Dal TI - On sharing, memoization, and polynomial time. JO - Inf. Comput. VL - 261 SP - 3 EP - 22 PY - 2018// DO - 10.1016/J.IC.2018.05.003 UR - https://doi.org/10.1016/j.ic.2018.05.003 ER - TY - CPAPER ID - DBLP:conf/flops/AvanziniL018 AU - Avanzini, Martin AU - Lago, Ugo Dal AU - Yamada, Akihisa TI - On Probabilistic Term Rewriting. BT - Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings SP - 132 EP - 148 PY - 2018// DO - 10.1007/978-3-319-90686-7_9 UR - https://doi.org/10.1007/978-3-319-90686-7_9 ER - TY - CPAPER ID - DBLP:conf/ictcs/LagoV18 AU - Lago, Ugo Dal AU - Vanoni, Gabriele TI - On Randomised Strategies in the λ-calculus. BT - Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018. SP - 92 EP - 103 PY - 2018// UR - https://ceur-ws.org/Vol-2243/paper9.pdf ER - TY - CPAPER ID - DBLP:conf/ppdp/BreuvartL18 AU - Breuvart, Flavien AU - Lago, Ugo Dal TI - On Intersection Types and Probabilistic Lambda Calculi. BT - Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018 SP - 8:1 EP - 8:13 PY - 2018// DO - 10.1145/3236950.3236968 UR - https://doi.org/10.1145/3236950.3236968 ER - TY - CONF ID - DBLP:conf/fossacs/2018 ED - Baier, Christel ED - Lago, Ugo Dal TI - Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings T3 - Lecture Notes in Computer Science VL - 10803 PY - 2018// PB - Springer DO - 10.1007/978-3-319-89366-2 UR - https://doi.org/10.1007/978-3-319-89366-2 SN - ISBN 978-3-319-89365-5 SN - ISBN 978-3-319-89366-2 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-1802-09774 AU - Avanzini, Martin AU - Lago, Ugo Dal AU - Yamada, Akihisa TI - On Probabilistic Term Rewriting. JO - CoRR VL - abs/1802.09774 PY - 2018// UR - http://arxiv.org/abs/1802.09774 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-1805-03934 AU - Lago, Ugo Dal AU - Vanoni, Gabriele TI - On Randomised Strategies in the λ-Calculus (Long Version). JO - CoRR VL - abs/1805.03934 PY - 2018// UR - http://arxiv.org/abs/1805.03934 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-1811-02133 AU - Kobayashi, Naoki AU - Lago, Ugo Dal AU - Grellois, Charles TI - On the Termination Problem for Probabilistic Higher-Order Recursive Programs. JO - CoRR VL - abs/1811.02133 PY - 2018// UR - http://arxiv.org/abs/1811.02133 ER - TY - JOUR ID - DBLP:journals/pacmpl/AvanziniL17 AU - Avanzini, Martin AU - Lago, Ugo Dal TI - Automating sized-type inference for complexity analysis. JO - Proc. ACM Program. Lang. VL - 1 IS - ICFP SP - 43:1 EP - 43:29 PY - 2017// DO - 10.1145/3110287 UR - https://doi.org/10.1145/3110287 ER - TY - CPAPER ID - DBLP:conf/esop/CrubilleL17 AU - Crubillé, Raphaëlle AU - Lago, Ugo Dal TI - Metric Reasoning About \lambda -Terms: The General Case. BT - Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings SP - 341 EP - 367 PY - 2017// DO - 10.1007/978-3-662-54434-1_13 UR - https://doi.org/10.1007/978-3-662-54434-1_13 ER - TY - CPAPER ID - DBLP:conf/esop/LagoG17 AU - Lago, Ugo Dal AU - Grellois, Charles TI - Probabilistic Termination by Monadic Affine Sized Typing. BT - Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings SP - 393 EP - 419 PY - 2017// DO - 10.1007/978-3-662-54434-1_15 UR - https://doi.org/10.1007/978-3-662-54434-1_15 ER - TY - CPAPER ID - DBLP:conf/fossacs/BreuvartLH17 AU - Breuvart, Flavien AU - Lago, Ugo Dal AU - Herrou, Agathe TI - On Higher-Order Probabilistic Subrecursion. BT - Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings SP - 370 EP - 386 PY - 2017// DO - 10.1007/978-3-662-54458-7_22 UR - https://doi.org/10.1007/978-3-662-54458-7_22 ER - TY - CPAPER ID - DBLP:conf/ictcs/LagoGT17 AU - Lago, Ugo Dal AU - Gavazzo, Francesco AU - Tanaka, Ryo TI - Effectful Applicative Similarity for Call-by-Name Lambda Calculi. BT - Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), Naples, Italy, September 26-28, 2017. SP - 87 EP - 98 PY - 2017// UR - https://ceur-ws.org/Vol-1949/ICTCSpaper06.pdf ER - TY - CPAPER ID - DBLP:conf/lics/LagoGL17 AU - Lago, Ugo Dal AU - Gavazzo, Francesco AU - Levy, Paul Blain TI - Effectful applicative bisimilarity: Monads, relators, and Howe's method. BT - 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017 SP - 1 EP - 12 PY - 2017// DO - 10.1109/LICS.2017.8005117 UR - https://doi.org/10.1109/LICS.2017.8005117 UR - https://doi.ieeecomputersociety.org/10.1109/LICS.2017.8005117 ER - TY - CPAPER ID - DBLP:conf/lics/LagoTY17 AU - Lago, Ugo Dal AU - Tanaka, Ryo AU - Yoshimizu, Akira TI - The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens. BT - 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017 SP - 1 EP - 12 PY - 2017// DO - 10.1109/LICS.2017.8005112 UR - https://doi.org/10.1109/LICS.2017.8005112 UR - https://doi.ieeecomputersociety.org/10.1109/LICS.2017.8005112 ER - TY - CPAPER ID - DBLP:conf/popl/LagoFVY17 AU - Lago, Ugo Dal AU - Faggian, Claudia AU - Valiron, Benoît AU - Yoshimizu, Akira TI - The geometry of parallelism: classical, probabilistic, and quantum effects. BT - Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017 SP - 833 EP - 845 PY - 2017// DO - 10.1145/3009837.3009859 UR - https://doi.org/10.1145/3009837.3009859 UR - https://doi.org/10.1145/3093333.3009859 ER - TY - CPAPER ID - DBLP:journals/corr/AvanziniL17 AU - Avanzini, Martin AU - Lago, Ugo Dal TI - Automated Sized-Type Inference and Complexity Analysis. BT - Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis, DICE-FOPARA@ETAPS 2017, Uppsala, Sweden, April 22-23, 2017. SP - 7 EP - 16 PY - 2017// DO - 10.4204/EPTCS.248.5 UR - https://doi.org/10.4204/EPTCS.248.5 UR - http://arxiv.org/abs/1704.05585 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/LagoG17 AU - Lago, Ugo Dal AU - Grellois, Charles TI - Probabilistic Termination by Monadic Affine Sized Typing (Long Version). JO - CoRR VL - abs/1701.04089 PY - 2017// UR - http://arxiv.org/abs/1701.04089 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/BreuvartLH17 AU - Breuvart, Flavien AU - Lago, Ugo Dal AU - Herrou, Agathe TI - On Higher-Order Probabilistic Subrecursion (Long Version). JO - CoRR VL - abs/1701.04786 PY - 2017// UR - http://arxiv.org/abs/1701.04786 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/CrubilleL17 AU - Crubillé, Raphaëlle AU - Lago, Ugo Dal TI - Metric Reasoning About λ-Terms: The General Case (Long Version). JO - CoRR VL - abs/1701.05521 PY - 2017// UR - http://arxiv.org/abs/1701.05521 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/LagoTY17 AU - Lago, Ugo Dal AU - Tanaka, Ryo AU - Yoshimizu, Akira TI - The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens (Long Version). JO - CoRR VL - abs/1704.04620 PY - 2017// UR - http://arxiv.org/abs/1704.04620 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/LagoGL17 AU - Lago, Ugo Dal AU - Gavazzo, Francesco AU - Levy, Paul Blain TI - Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method (Long Version). JO - CoRR VL - abs/1704.04647 PY - 2017// UR - http://arxiv.org/abs/1704.04647 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/AvanziniL17a AU - Avanzini, Martin AU - Lago, Ugo Dal TI - Automating Sized Type Inference for Complexity Analysis (Technical Report). JO - CoRR VL - abs/1706.09169 PY - 2017// UR - http://arxiv.org/abs/1706.09169 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-1711-10078 AU - Lago, Ugo Dal AU - Accattoli, Beniamino TI - Encoding Turing Machines into the Deterministic Lambda-Calculus. JO - CoRR VL - abs/1711.10078 PY - 2017// UR - http://arxiv.org/abs/1711.10078 ER - TY - JOUR ID - DBLP:journals/corr/AccattoliL16 AU - Accattoli, Beniamino AU - Lago, Ugo Dal TI - (Leftmost-Outermost) Beta Reduction is Invariant, Indeed. JO - Log. Methods Comput. Sci. VL - 12 IS - 1 PY - 2016// DO - 10.2168/LMCS-12(1:4)2016 UR - https://doi.org/10.2168/LMCS-12(1:4)2016 UR - http://arxiv.org/abs/1601.01233 ER - TY - JOUR ID - DBLP:journals/iandc/BaillotL16 AU - Baillot, Patrick AU - Lago, Ugo Dal TI - Higher-order interpretations and program complexity. JO - Inf. Comput. VL - 248 SP - 56 EP - 81 PY - 2016// DO - 10.1016/J.IC.2015.12.008 UR - https://doi.org/10.1016/j.ic.2015.12.008 ER - TY - JOUR ID - DBLP:journals/iandc/LagoS16 AU - Lago, Ugo Dal AU - Schöpp, Ulrich TI - Computation by interaction for space-bounded functional programming. JO - Inf. Comput. VL - 248 SP - 150 EP - 194 PY - 2016// DO - 10.1016/J.IC.2015.04.006 UR - https://doi.org/10.1016/j.ic.2015.04.006 ER - TY - JOUR ID - DBLP:journals/mscs/LagoMS16 AU - Lago, Ugo Dal AU - Martini, Simone AU - Sangiorgi, Davide TI - Light logics and higher-order processes. JO - Math. Struct. Comput. Sci. VL - 26 IS - 6 SP - 969 EP - 992 PY - 2016// DO - 10.1017/S0960129514000310 UR - https://doi.org/10.1017/S0960129514000310 ER - TY - JOUR ID - DBLP:journals/mscs/LagoG16 AU - Lago, Ugo Dal AU - Giamberardino, Paolo Di TI - On session types and polynomial time. JO - Math. Struct. Comput. Sci. VL - 26 IS - 8 SP - 1433 EP - 1458 PY - 2016// DO - 10.1017/S0960129514000632 UR - https://doi.org/10.1017/S0960129514000632 ER - TY - CPAPER ID - DBLP:conf/icfp/BorgstromLGS16 AU - Borgström, Johannes AU - Lago, Ugo Dal AU - Gordon, Andrew D. AU - Szymczak, Marcin TI - A lambda-calculus foundation for universal probabilistic programming. BT - Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016 SP - 33 EP - 46 PY - 2016// DO - 10.1145/2951913.2951942 UR - https://doi.org/10.1145/2951913.2951942 UR - https://doi.org/10.1145/3022670.2951942 ER - TY - CPAPER ID - DBLP:conf/lics/Lago16 AU - Lago, Ugo Dal TI - Infinitary Lambda Calculi from a Linear Perspective. BT - Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016 SP - 447 EP - 456 PY - 2016// DO - 10.1145/2933575.2934505 UR - https://doi.org/10.1145/2933575.2934505 UR - https://ieeexplore.ieee.org/document/8576395 ER - TY - CONF ID - DBLP:conf/fopara/2015 ED - Eekelen, Marko C. J. D. van ED - Lago, Ugo Dal TI - Foundational and Practical Aspects of Resource Analysis - 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015, Revised Selected Papers T3 - Lecture Notes in Computer Science VL - 9964 PY - 2016// DO - 10.1007/978-3-319-46559-3 UR - https://doi.org/10.1007/978-3-319-46559-3 SN - ISBN 978-3-319-46558-6 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/Lago16 AU - Lago, Ugo Dal TI - Infinitary λ-Calculi from a Linear Perspective (Long Version). JO - CoRR VL - abs/1604.08248 PY - 2016// UR - http://arxiv.org/abs/1604.08248 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/LagoFVY16 AU - Lago, Ugo Dal AU - Faggian, Claudia AU - Valiron, Benoît AU - Yoshimizu, Akira TI - The Geometry of Parallelism. Classical, Probabilistic, and Quantum Effects. JO - CoRR VL - abs/1610.09629 PY - 2016// UR - http://arxiv.org/abs/1610.09629 ER - TY - JOUR ID - DBLP:journals/iandc/LagoT15 AU - Lago, Ugo Dal AU - Toldin, Paolo Parisen TI - A higher-order characterization of probabilistic polynomial time. JO - Inf. Comput. VL - 241 SP - 114 EP - 141 PY - 2015// DO - 10.1016/J.IC.2014.10.009 UR - https://doi.org/10.1016/j.ic.2014.10.009 ER - TY - JOUR ID - DBLP:journals/tcs/LagoB15 AU - Lago, Ugo Dal AU - Bonfante, Guillaume TI - Developments in Implicit Complexity (DICE 2012). JO - Theor. Comput. Sci. VL - 585 SP - 1 EP - 2 PY - 2015// DO - 10.1016/J.TCS.2015.03.001 UR - https://doi.org/10.1016/j.tcs.2015.03.001 ER - TY - CPAPER ID - DBLP:conf/birthday/CrubilleLSV15 AU - Crubillé, Raphaëlle AU - Lago, Ugo Dal AU - Sangiorgi, Davide AU - Vignudelli, Valeria TI - On Applicative Similarity, Sequentiality, and Full Abstraction. BT - Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings SP - 65 EP - 82 PY - 2015// DO - 10.1007/978-3-319-23506-6_7 UR - https://doi.org/10.1007/978-3-319-23506-6_7 ER - TY - CPAPER ID - DBLP:conf/concur/DengFL15 AU - Deng, Yuxin AU - Feng, Yuan AU - Lago, Ugo Dal TI - On Coinduction and Quantum Lambda Calculi. BT - 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015 SP - 427 EP - 440 PY - 2015// DO - 10.4230/LIPICS.CONCUR.2015.427 UR - https://doi.org/10.4230/LIPIcs.CONCUR.2015.427 ER - TY - CPAPER ID - DBLP:conf/fct/CappaiL15 AU - Cappai, Alberto AU - Lago, Ugo Dal TI - On Equivalences, Metrics, and Polynomial Time. BT - Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings SP - 311 EP - 323 PY - 2015// DO - 10.1007/978-3-319-22177-9_24 UR - https://doi.org/10.1007/978-3-319-22177-9_24 ER - TY - CPAPER ID - DBLP:conf/fsen/LagoR15 AU - Lago, Ugo Dal AU - Rioli, Alessandro TI - Applicative Bisimulation and Quantum λ-Calculi. BT - Fundamentals of Software Engineering - 6th International Conference, FSEN 2015 Tehran, Iran, April 22-24, 2015, Revised Selected Papers SP - 54 EP - 68 PY - 2015// DO - 10.1007/978-3-319-24644-4_4 UR - https://doi.org/10.1007/978-3-319-24644-4_4 ER - TY - CPAPER ID - DBLP:conf/icfp/AvanziniLM15 AU - Avanzini, Martin AU - Lago, Ugo Dal AU - Moser, Georg TI - Analysing the complexity of functional programs: higher-order meets first-order. BT - Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, Vancouver, BC, Canada, September 1-3, 2015 SP - 152 EP - 164 PY - 2015// DO - 10.1145/2784731.2784753 UR - https://doi.org/10.1145/2784731.2784753 UR - https://doi.org/10.1145/2858949.2784753 ER - TY - CPAPER ID - DBLP:conf/lics/LagoFVY15 AU - Lago, Ugo Dal AU - Faggian, Claudia AU - Valiron, Benoît AU - Yoshimizu, Akira TI - Parallelism and Synchronization in an Infinitary Context. BT - 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015 SP - 559 EP - 572 PY - 2015// DO - 10.1109/LICS.2015.58 UR - https://doi.org/10.1109/LICS.2015.58 UR - https://doi.ieeecomputersociety.org/10.1109/LICS.2015.58 UR - http://dl.acm.org/citation.cfm?id=2876564 ER - TY - CPAPER ID - DBLP:conf/lics/CrubilleL15 AU - Crubillé, Raphaëlle AU - Lago, Ugo Dal TI - Metric Reasoning about λ-Terms: The Affine Case. BT - 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015 SP - 633 EP - 644 PY - 2015// DO - 10.1109/LICS.2015.64 UR - https://doi.org/10.1109/LICS.2015.64 UR - https://doi.ieeecomputersociety.org/10.1109/LICS.2015.64 UR - http://dl.acm.org/citation.cfm?id=2876570 ER - TY - CPAPER ID - DBLP:conf/lpar/BaillotBL15 AU - Baillot, Patrick AU - Barthe, Gilles AU - Lago, Ugo Dal TI - Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs. BT - Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings SP - 203 EP - 218 PY - 2015// DO - 10.1007/978-3-662-48899-7_15 UR - https://doi.org/10.1007/978-3-662-48899-7_15 ER - TY - CPAPER ID - DBLP:conf/stacs/AvanziniL15 AU - Avanzini, Martin AU - Lago, Ugo Dal TI - On Sharing, Memoization, and Polynomial Time. BT - 32nd International Symposium on Theoretical Aspects of Computer Science, STACS 2015, March 4-7, 2015, Garching, Germany SP - 62 EP - 75 PY - 2015// DO - 10.4230/LIPICS.STACS.2015.62 UR - https://doi.org/10.4230/LIPIcs.STACS.2015.62 ER - TY - CONF ID - DBLP:journals/corr/LagoH15 ED - Lago, Ugo Dal ED - Harmer, Russ TI - Proceedings Tenth International Workshop on Developments in Computational Models, DCM 2014, Vienna, Austria, 13th July 2014. T3 - EPTCS VL - 179 PY - 2015// DO - 10.4204/EPTCS.179 UR - https://doi.org/10.4204/EPTCS.179 UR - http://arxiv.org/abs/1504.01927 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/AvanziniL15 AU - Avanzini, Martin AU - Lago, Ugo Dal TI - On Sharing, Memoization, and Polynomial Time (Long Version). JO - CoRR VL - abs/1501.00894 PY - 2015// UR - http://arxiv.org/abs/1501.00894 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/LagoFVY15 AU - Lago, Ugo Dal AU - Faggian, Claudia AU - Valiron, Benoît AU - Yoshimizu, Akira TI - Parallelism and Synchronization in an Infinitary Context (Long Version). JO - CoRR VL - abs/1505.03635 PY - 2015// UR - http://arxiv.org/abs/1505.03635 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/CrubilleL15 AU - Crubillé, Raphaëlle AU - Lago, Ugo Dal TI - Metric Reasoning about λ-Terms: the Affine Case (Long Version). JO - CoRR VL - abs/1505.03638 PY - 2015// UR - http://arxiv.org/abs/1505.03638 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/CappaiL15 AU - Cappai, Alberto AU - Lago, Ugo Dal TI - On Equivalences, Metrics, and Polynomial Time (Long Version). JO - CoRR VL - abs/1506.03710 PY - 2015// UR - http://arxiv.org/abs/1506.03710 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/AvanziniLM15 AU - Avanzini, Martin AU - Lago, Ugo Dal AU - Moser, Georg TI - Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order (Long Version). JO - CoRR VL - abs/1506.05043 PY - 2015// UR - http://arxiv.org/abs/1506.05043 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/LagoR15 AU - Lago, Ugo Dal AU - Rioli, Alessandro TI - Applicative Bisimulation and Quantum λ-Calculi (Long Version). JO - CoRR VL - abs/1506.06661 PY - 2015// UR - http://arxiv.org/abs/1506.06661 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/BorgstromLGS15 AU - Borgström, Johannes AU - Lago, Ugo Dal AU - Gordon, Andrew D. AU - Szymczak, Marcin TI - A Lambda-Calculus Foundation for Universal Probabilistic Programming. JO - CoRR VL - abs/1512.08990 PY - 2015// UR - http://arxiv.org/abs/1512.08990 ER - TY - JOUR ID - DBLP:journals/cuza/LagoZG14 AU - Lago, Ugo Dal AU - Zuppiroli, Sara AU - Gabbrielli, Maurizio TI - Probabilistic Recursion Theory and Implicit Computational Complexity. JO - Sci. Ann. Comput. Sci. VL - 24 IS - 2 SP - 177 EP - 216 PY - 2014// DO - 10.7561/SACS.2014.2.177 UR - https://doi.org/10.7561/SACS.2014.2.177 ER - TY - JOUR ID - DBLP:journals/scp/LagoP14 AU - Lago, Ugo Dal AU - Petit, Barbara TI - Linear dependent types in a call-by-value scenario. JO - Sci. Comput. Program. VL - 84 SP - 77 EP - 100 PY - 2014// DO - 10.1016/J.SCICO.2013.07.010 UR - https://doi.org/10.1016/j.scico.2013.07.010 ER - TY - CPAPER ID - DBLP:conf/csl/AccattoliL14 AU - Accattoli, Beniamino AU - Lago, Ugo Dal TI - Beta reduction is invariant, indeed. BT - Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014 SP - 8:1 EP - 8:10 PY - 2014// DO - 10.1145/2603088.2603105 UR - https://doi.org/10.1145/2603088.2603105 ER - TY - CPAPER ID - DBLP:conf/csl/LagoFHY14 AU - Lago, Ugo Dal AU - Faggian, Claudia AU - Hasuo, Ichiro AU - Yoshimizu, Akira TI - The geometry of synchronization. BT - Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014 SP - 35:1 EP - 35:10 PY - 2014// DO - 10.1145/2603088.2603154 UR - https://doi.org/10.1145/2603088.2603154 ER - TY - CPAPER ID - DBLP:conf/esop/CrubilleL14 AU - Crubillé, Raphaëlle AU - Lago, Ugo Dal TI - On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi. BT - Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings SP - 209 EP - 228 PY - 2014// DO - 10.1007/978-3-642-54833-8_12 UR - https://doi.org/10.1007/978-3-642-54833-8_12 ER - TY - CPAPER ID - DBLP:conf/esop/YoshimizuHFL14 AU - Yoshimizu, Akira AU - Hasuo, Ichiro AU - Faggian, Claudia AU - Lago, Ugo Dal TI - Measurements in Proof Nets as Higher-Order Quantum Circuits. BT - Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings SP - 371 EP - 391 PY - 2014// DO - 10.1007/978-3-642-54833-8_20 UR - https://doi.org/10.1007/978-3-642-54833-8_20 ER - TY - CPAPER ID - DBLP:conf/ictac/LagoZ14 AU - Lago, Ugo Dal AU - Zuppiroli, Sara TI - Probabilistic Recursion Theory and Implicit Computational Complexity. BT - Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings SP - 97 EP - 114 PY - 2014// DO - 10.1007/978-3-319-10882-7_7 UR - https://doi.org/10.1007/978-3-319-10882-7_7 ER - TY - CPAPER ID - DBLP:conf/popl/LagoSA14 AU - Lago, Ugo Dal AU - Sangiorgi, Davide AU - Alberti, Michele TI - On coinductive equivalences for higher-order probabilistic functional programs. BT - The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014 SP - 297 EP - 308 PY - 2014// DO - 10.1145/2535838.2535872 UR - https://doi.org/10.1145/2535838.2535872 UR - https://doi.org/10.1145/2578855.2535872 ER - TY - CPAPER ID - DBLP:journals/corr/LagoZ15 AU - Lago, Ugo Dal AU - Zorzi, Margherita TI - Wave-Style Token Machines and Quantum Lambda Calculi. BT - Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014. SP - 64 EP - 78 PY - 2014// DO - 10.4204/EPTCS.176.6 UR - https://doi.org/10.4204/EPTCS.176.6 UR - http://arxiv.org/abs/1502.04774 ER - TY - CONF ID - DBLP:conf/fopara/2013 ED - Lago, Ugo Dal ED - Peña, Ricardo TI - Foundational and Practical Aspects of Resource Analysis - Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers T3 - Lecture Notes in Computer Science VL - 8552 PY - 2014// PB - Springer DO - 10.1007/978-3-319-12466-7 UR - https://doi.org/10.1007/978-3-319-12466-7 SN - ISBN 978-3-319-12465-0 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/CrubilleL14 AU - Crubillé, Raphaëlle AU - Lago, Ugo Dal TI - On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi (Long Version). JO - CoRR VL - abs/1401.3766 PY - 2014// UR - http://arxiv.org/abs/1401.3766 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/AccattoliL14 AU - Accattoli, Beniamino AU - Lago, Ugo Dal TI - Beta Reduction is Invariant, Indeed (Long Version). JO - CoRR VL - abs/1405.3311 PY - 2014// UR - http://arxiv.org/abs/1405.3311 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/LagoFHY14 AU - Lago, Ugo Dal AU - Faggian, Claudia AU - Hasuo, Ichiro AU - Yoshimizu, Akira TI - The Geometry of Synchronization (Long Version). JO - CoRR VL - abs/1405.3427 PY - 2014// UR - http://arxiv.org/abs/1405.3427 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/LagoZ14 AU - Lago, Ugo Dal AU - Zuppiroli, Sara TI - Probabilistic Recursion Theory and Implicit Computational Complexity (Long Version). JO - CoRR VL - abs/1406.3378 PY - 2014// UR - http://arxiv.org/abs/1406.3378 ER - TY - CPAPER ID - DBLP:conf/lpar/LagoP13 AU - Lago, Ugo Dal AU - Pellitta, Giulio TI - Complexity Analysis in Presence of Control Operators and Higher-Order Functions. BT - Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings SP - 258 EP - 273 PY - 2013// DO - 10.1007/978-3-642-45221-5_19 UR - https://doi.org/10.1007/978-3-642-45221-5_19 ER - TY - CPAPER ID - DBLP:conf/popl/LagoP13 AU - Lago, Ugo Dal AU - Petit, Barbara TI - The geometry of types. BT - The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013 SP - 167 EP - 178 PY - 2013// DO - 10.1145/2429069.2429090 UR - https://doi.org/10.1145/2429069.2429090 UR - https://doi.org/10.1145/2480359.2429090 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/LagoZ13 AU - Lago, Ugo Dal AU - Zorzi, Margherita TI - Wave-Style Token Machines and Quantum Lambda Calculi. JO - CoRR VL - abs/1307.0550 PY - 2013// UR - http://arxiv.org/abs/1307.0550 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/LagoP13 AU - Lago, Ugo Dal AU - Pellitta, Giulio TI - Complexity Analysis in Presence of Control Operators and Higher-Order Functions (Long Version). JO - CoRR VL - abs/1310.1763 PY - 2013// UR - http://arxiv.org/abs/1310.1763 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/LagoSA13 AU - Lago, Ugo Dal AU - Sangiorgi, Davide AU - Alberti, Michele TI - On Coinductive Equivalences for Higher-Order Probabilistic Functional Programs (Long Version). JO - CoRR VL - abs/1311.1722 PY - 2013// UR - http://arxiv.org/abs/1311.1722 ER - TY - JOUR ID - DBLP:journals/corr/abs-1208-0515 AU - Lago, Ugo Dal AU - Martini, Simone TI - On Constructor Rewrite Systems and the Lambda Calculus JO - Log. Methods Comput. Sci. VL - 8 IS - 3 PY - 2012// DO - 10.2168/LMCS-8(3:12)2012 UR - https://doi.org/10.2168/LMCS-8(3:12)2012 UR - http://arxiv.org/abs/1208.0515 ER - TY - JOUR ID - DBLP:journals/ita/LagoZ12 AU - Lago, Ugo Dal AU - Zorzi, Margherita TI - Probabilistic operational semantics for the lambda calculus. JO - RAIRO Theor. Informatics Appl. VL - 46 IS - 3 SP - 413 EP - 450 PY - 2012// DO - 10.1051/ITA/2012012 UR - https://doi.org/10.1051/ita/2012012 ER - TY - JOUR ID - DBLP:journals/mscs/BaillotLM12 AU - Baillot, Patrick AU - Lago, Ugo Dal AU - Moyen, Jean-Yves TI - On quasi-interpretations, blind abstractions and implicit complexity. JO - Math. Struct. Comput. Sci. VL - 22 IS - 4 SP - 549 EP - 580 PY - 2012// DO - 10.1017/S0960129511000685 UR - https://doi.org/10.1017/S0960129511000685 ER - TY - CPAPER ID - DBLP:conf/csl/BaillotL12 AU - Baillot, Patrick AU - Lago, Ugo Dal TI - Higher-Order Interpretations and Program Complexity. BT - Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, CSL 2012, September 3-6, 2012, Fontainebleau, France SP - 62 EP - 76 PY - 2012// DO - 10.4230/LIPICS.CSL.2012.62 UR - https://doi.org/10.4230/LIPIcs.CSL.2012.62 ER - TY - CPAPER ID - DBLP:conf/ppdp/LagoP12 AU - Lago, Ugo Dal AU - Petit, Barbara TI - Linear dependent types in a call-by-value scenario. BT - Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012 SP - 115 EP - 126 PY - 2012// DO - 10.1145/2370776.2370792 UR - https://doi.org/10.1145/2370776.2370792 ER - TY - CPAPER ID - DBLP:conf/rta/AccattoliL12 AU - Accattoli, Beniamino AU - Lago, Ugo Dal TI - On the Invariance of the Unitary Cost Model for Head Reduction. BT - 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan SP - 22 EP - 37 PY - 2012// DO - 10.4230/LIPICS.RTA.2012.22 UR - https://doi.org/10.4230/LIPIcs.RTA.2012.22 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-1202-1641 AU - Accattoli, Beniamino AU - Lago, Ugo Dal TI - On the Invariance of the Unitary Cost Model for Head Reduction (Long Version) JO - CoRR VL - abs/1202.1641 PY - 2012// UR - http://arxiv.org/abs/1202.1641 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-1202-3317 AU - Lago, Ugo Dal AU - Toldin, Paolo Parisen TI - An Higher-Order Characterization of Probabilistic Polynomial Time (Long Version) JO - CoRR VL - abs/1202.3317 PY - 2012// UR - http://arxiv.org/abs/1202.3317 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-1207-5592 AU - Lago, Ugo Dal AU - Petit, Barbara TI - Linear Dependent Types in a Call-by-Value Scenario (Long Version) JO - CoRR VL - abs/1207.5592 PY - 2012// UR - http://arxiv.org/abs/1207.5592 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-1209-0663 AU - Lago, Ugo Dal AU - Heindel, Tobias AU - Mazza, Damiano AU - Varacca, Daniele TI - Computational Complexity of Interactive Behaviors JO - CoRR VL - abs/1209.0663 PY - 2012// UR - http://arxiv.org/abs/1209.0663 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-1210-6857 AU - Lago, Ugo Dal AU - Petit, Barbara TI - The Geometry of Types (Long Version) JO - CoRR VL - abs/1210.6857 PY - 2012// UR - http://arxiv.org/abs/1210.6857 ER - TY - JOUR ID - DBLP:journals/corr/abs-1104-0193 AU - Lago, Ugo Dal AU - Gaboardi, Marco TI - Linear Dependent Types and Relative Completeness JO - Log. Methods Comput. Sci. VL - 8 IS - 4 PY - 2011// DO - 10.2168/LMCS-8(4:11)2012 UR - https://doi.org/10.2168/LMCS-8(4:11)2012 UR - http://arxiv.org/abs/1104.0193 ER - TY - JOUR ID - DBLP:journals/iandc/BaillotCL11 AU - Baillot, Patrick AU - Coppola, Paolo AU - Lago, Ugo Dal TI - Light logics and optimal reduction: Completeness and complexity. JO - Inf. Comput. VL - 209 IS - 2 SP - 118 EP - 142 PY - 2011// DO - 10.1016/J.IC.2010.10.002 UR - https://doi.org/10.1016/j.ic.2010.10.002 ER - TY - JOUR ID - DBLP:journals/tcs/LagoH11 AU - Lago, Ugo Dal AU - Hofmann, Martin TI - Realizability models and implicit complexity. JO - Theor. Comput. Sci. VL - 412 IS - 20 SP - 2029 EP - 2047 PY - 2011// DO - 10.1016/J.TCS.2010.12.025 UR - https://doi.org/10.1016/j.tcs.2010.12.025 ER - TY - CPAPER ID - DBLP:conf/esslli/Lago11 AU - Lago, Ugo Dal TI - A Short Introduction to Implicit Computational Complexity. BT - Lectures on Logic and Computation - ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes SP - 89 EP - 109 PY - 2011// DO - 10.1007/978-3-642-31485-8_3 UR - https://doi.org/10.1007/978-3-642-31485-8_3 ER - TY - CPAPER ID - DBLP:conf/fopara/LagoT11 AU - Lago, Ugo Dal AU - Toldin, Paolo Parisen TI - A Higher-Order Characterization of Probabilistic Polynomial Time. BT - Foundational and Practical Aspects of Resource Analysis - Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers SP - 1 EP - 18 PY - 2011// DO - 10.1007/978-3-642-32495-6_1 UR - https://doi.org/10.1007/978-3-642-32495-6_1 ER - TY - CPAPER ID - DBLP:conf/lics/LagoG11 AU - Lago, Ugo Dal AU - Gaboardi, Marco TI - Linear Dependent Types and Relative Completeness. BT - Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011, June 21-24, 2011, Toronto, Ontario, Canada SP - 133 EP - 142 PY - 2011// DO - 10.1109/LICS.2011.22 UR - https://doi.org/10.1109/LICS.2011.22 UR - https://doi.ieeecomputersociety.org/10.1109/LICS.2011.22 ER - TY - CPAPER ID - DBLP:journals/corr/abs-1210-0613 AU - Lago, Ugo Dal AU - Faggian, Claudia TI - On Multiplicative Linear Logic, Modality and Quantum Circuits BT - Proceedings 8th International Workshop on Quantum Physics and Logic, QPL 2011, Nijmegen, Netherlands, October 27-29, 2011. SP - 55 EP - 66 PY - 2011// DO - 10.4204/EPTCS.95.6 UR - https://doi.org/10.4204/EPTCS.95.6 UR - http://arxiv.org/abs/1210.0613 ER - TY - CPAPER ID - DBLP:journals/corr/abs-1108-4467 AU - Lago, Ugo Dal AU - Giamberardino, Paolo Di TI - Soft Session Types BT - Proceedings 18th International Workshop on Expressiveness in Concurrency, EXPRESS 2011, Aachen, Germany, 5th September 2011. SP - 59 EP - 73 PY - 2011// DO - 10.4204/EPTCS.64.5 UR - https://doi.org/10.4204/EPTCS.64.5 UR - http://arxiv.org/abs/1108.4467 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-1104-0195 AU - Lago, Ugo Dal AU - Zorzi, Margherita TI - Probabilistic Operational Semantics for the Lambda Calculus JO - CoRR VL - abs/1104.0195 PY - 2011// UR - http://arxiv.org/abs/1104.0195 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-1107-4478 AU - Lago, Ugo Dal AU - Giamberardino, Paolo Di TI - Soft Session Types (Long Version) JO - CoRR VL - abs/1107.4478 PY - 2011// UR - http://arxiv.org/abs/1107.4478 ER - TY - JOUR ID - DBLP:journals/corr/abs-0904-2675 AU - Lago, Ugo Dal AU - Hofmann, Martin TI - Bounded Linear Logic, Revisited JO - Log. Methods Comput. Sci. VL - 6 IS - 4 PY - 2010// DO - 10.2168/LMCS-6(4:7)2010 UR - https://doi.org/10.2168/LMCS-6(4:7)2010 UR - http://arxiv.org/abs/0904.2675 ER - TY - JOUR ID - DBLP:journals/mst/LagoH10 AU - Lago, Ugo Dal AU - Hofmann, Martin TI - A Semantic Proof of Polytime Soundness of Light Affine Logic. JO - Theory Comput. Syst. VL - 46 IS - 4 SP - 673 EP - 689 PY - 2010// DO - 10.1007/S00224-009-9210-X UR - https://doi.org/10.1007/s00224-009-9210-x ER - TY - JOUR ID - DBLP:journals/tcs/LagoMZ10 AU - Lago, Ugo Dal AU - Masini, Andrea AU - Zorzi, Margherita TI - Quantum implicit computational complexity. JO - Theor. Comput. Sci. VL - 411 IS - 2 SP - 377 EP - 409 PY - 2010// DO - 10.1016/J.TCS.2009.07.045 UR - https://doi.org/10.1016/j.tcs.2009.07.045 ER - TY - CPAPER ID - DBLP:conf/aplas/LagoS10 AU - Lago, Ugo Dal AU - Schöpp, Ulrich TI - Type Inference for Sublinear Space Functional Programming. BT - Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings SP - 376 EP - 391 PY - 2010// DO - 10.1007/978-3-642-17164-2_26 UR - https://doi.org/10.1007/978-3-642-17164-2_26 ER - TY - CPAPER ID - DBLP:conf/esop/LagoS10 AU - Lago, Ugo Dal AU - Schöpp, Ulrich TI - Functional Programming in Sublinear Space. BT - Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings SP - 205 EP - 225 PY - 2010// DO - 10.1007/978-3-642-11957-6_12 UR - https://doi.org/10.1007/978-3-642-11957-6_12 ER - TY - CPAPER ID - DBLP:journals/corr/abs-1011-6431 AU - Lago, Ugo Dal AU - Martini, Simone AU - Sangiorgi, Davide TI - Light Logics and Higher-Order Processes BT - Proceedings 17th International Workshop on Expressiveness in Concurrency, EXPRESS'10, Paris, France, August 30th, 2010. SP - 46 EP - 60 PY - 2010// DO - 10.4204/EPTCS.41.4 UR - https://doi.org/10.4204/EPTCS.41.4 UR - http://arxiv.org/abs/1011.6431 ER - TY - CPAPER ID - DBLP:journals/corr/abs-1005-0521 AU - Lago, Ugo Dal AU - Martini, Simone AU - Zorzi, Margherita TI - General Ramified Recurrence is Sound for Polynomial Time BT - Proceedings International Workshop on Developments in Implicit Computational complExity, DICE 2010, Paphos, Cyprus, 27-28th March 2010. SP - 47 EP - 62 PY - 2010// DO - 10.4204/EPTCS.23.4 UR - https://doi.org/10.4204/EPTCS.23.4 UR - http://arxiv.org/abs/1005.0521 ER - TY - JOUR ID - DBLP:journals/mscs/LagoMZ09 AU - Lago, Ugo Dal AU - Masini, Andrea AU - Zorzi, Margherita TI - On a measurement-free quantum lambda calculus with classical control. JO - Math. Struct. Comput. Sci. VL - 19 IS - 2 SP - 297 EP - 335 PY - 2009// DO - 10.1017/S096012950800741X UR - https://doi.org/10.1017/S096012950800741X ER - TY - JOUR ID - DBLP:journals/tocl/Lago09 AU - Lago, Ugo Dal TI - The geometry of linear higher-order recursion. JO - ACM Trans. Comput. Log. VL - 10 IS - 2 SP - 8:1 EP - 8:38 PY - 2009// DO - 10.1145/1462179.1462180 UR - https://doi.org/10.1145/1462179.1462180 ER - TY - JOUR ID - DBLP:journals/tocl/Lago09a AU - Lago, Ugo Dal TI - Context semantics, linear logic, and computational complexity. JO - ACM Trans. Comput. Log. VL - 10 IS - 4 SP - 25:1 EP - 25:32 PY - 2009// DO - 10.1145/1555746.1555749 UR - https://doi.org/10.1145/1555746.1555749 ER - TY - CPAPER ID - DBLP:conf/fopara/LagoM09 AU - Lago, Ugo Dal AU - Martini, Simone TI - Derivational Complexity Is an Invariant Cost Model. BT - Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers SP - 100 EP - 113 PY - 2009// DO - 10.1007/978-3-642-15331-0_7 UR - https://doi.org/10.1007/978-3-642-15331-0_7 ER - TY - CPAPER ID - DBLP:conf/icalp/LagoM09 AU - Lago, Ugo Dal AU - Martini, Simone TI - On Constructor Rewrite Systems and the Lambda-Calculus. BT - Automata, Languages and Programming, 36th Internatilonal Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II SP - 163 EP - 174 PY - 2009// DO - 10.1007/978-3-642-02930-1_14 UR - https://doi.org/10.1007/978-3-642-02930-1_14 ER - TY - CPAPER ID - DBLP:conf/lfcs/LagoRV09 AU - Lago, Ugo Dal AU - Roversi, Luca AU - Vercelli, Luca TI - Taming Modal Impredicativity: Superlazy Reduction. BT - Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings SP - 137 EP - 151 PY - 2009// DO - 10.1007/978-3-540-92687-0_10 UR - https://doi.org/10.1007/978-3-540-92687-0_10 ER - TY - CPAPER ID - DBLP:conf/tlca/LagoH09 AU - Lago, Ugo Dal AU - Hofmann, Martin TI - Bounded Linear Logic, Revisited. BT - Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings SP - 80 EP - 94 PY - 2009// DO - 10.1007/978-3-642-02273-9_8 UR - https://doi.org/10.1007/978-3-642-02273-9_8 ER - TY - CPAPER ID - DBLP:journals/entcs/LagoMZ11 AU - Lago, Ugo Dal AU - Masini, Andrea AU - Zorzi, Margherita TI - Confluence Results for a Quantum Lambda Calculus with Measurements. BT - Proceedings of the 6th International Workshop on Quantum Physics and Logic, QPL@MFPS 2009, Oxford, UK, April 8-9, 2009 SP - 251 EP - 261 PY - 2009// DO - 10.1016/J.ENTCS.2011.01.035 UR - https://doi.org/10.1016/j.entcs.2011.01.035 UR - https://www.wikidata.org/entity/Q113318302 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-0904-4120 AU - Lago, Ugo Dal AU - Martini, Simone TI - On Constructor Rewrite Systems and the Lambda-Calculus JO - CoRR VL - abs/0904.4120 PY - 2009// UR - http://arxiv.org/abs/0904.4120 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-0905-4567 AU - Lago, Ugo Dal AU - Masini, Andrea AU - Zorzi, Margherita TI - Confluence Results for a Quantum Lambda Calculus with Measurements JO - CoRR VL - abs/0905.4567 PY - 2009// UR - http://arxiv.org/abs/0905.4567 ER - TY - JOUR ID - DBLP:journals/lmcs/CoppolaLR08 AU - Coppola, Paolo AU - Lago, Ugo Dal AU - Rocca, Simona Ronchi Della TI - Light Logics and the Call-by-Value Lambda Calculus. JO - Log. Methods Comput. Sci. VL - 4 IS - 4 PY - 2008// DO - 10.2168/LMCS-4(4:5)2008 UR - https://doi.org/10.2168/LMCS-4(4:5)2008 ER - TY - JOUR ID - DBLP:journals/tcs/LagoM08 AU - Lago, Ugo Dal AU - Martini, Simone TI - The weak lambda calculus as a reasonable machine. JO - Theor. Comput. Sci. VL - 398 IS - 1-3 SP - 32 EP - 50 PY - 2008// DO - 10.1016/J.TCS.2008.01.044 UR - https://doi.org/10.1016/j.tcs.2008.01.044 ER - TY - CPAPER ID - DBLP:conf/csl/LagoL08 AU - Lago, Ugo Dal AU - Laurent, Olivier TI - Quantitative Game Semantics for Linear Logic. BT - Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings SP - 230 EP - 245 PY - 2008// DO - 10.1007/978-3-540-87531-4_18 UR - https://doi.org/10.1007/978-3-540-87531-4_18 ER - TY - CPAPER ID - DBLP:conf/csr/LagoH08 AU - Lago, Ugo Dal AU - Hofmann, Martin TI - A Semantic Proof of Polytime Soundness of Light Affine Logic. BT - Computer Science - Theory and Applications, Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings SP - 134 EP - 145 PY - 2008// DO - 10.1007/978-3-540-79709-8_16 UR - https://doi.org/10.1007/978-3-540-79709-8_16 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-0809-0195 AU - Coppola, Paolo AU - Lago, Ugo Dal AU - Rocca, Simona Ronchi Della TI - Light Logics and the Call-by-Value Lambda Calculus JO - CoRR VL - abs/0809.0195 PY - 2008// UR - http://arxiv.org/abs/0809.0195 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-0810-2891 AU - Lago, Ugo Dal AU - Roversi, Luca AU - Vercelli, Luca TI - Taming Modal Impredicativity: Superlazy Reduction JO - CoRR VL - abs/0810.2891 PY - 2008// UR - http://arxiv.org/abs/0810.2891 ER - TY - JOUR ID - DBLP:journals/tcs/LagoMP07 AU - Lago, Ugo Dal AU - Montanari, Angelo AU - Puppis, Gabriele TI - Compact and tractable automaton-based representations of time granularities. JO - Theor. Comput. Sci. VL - 373 IS - 1-2 SP - 115 EP - 141 PY - 2007// DO - 10.1016/J.TCS.2006.12.014 UR - https://doi.org/10.1016/j.tcs.2006.12.014 ER - TY - CPAPER ID - DBLP:conf/lics/BaillotCL07 AU - Baillot, Patrick AU - Coppola, Paolo AU - Lago, Ugo Dal TI - Light Logics and Optimal Reduction: Completeness and Complexity. BT - 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings SP - 421 EP - 430 PY - 2007// DO - 10.1109/LICS.2007.27 UR - https://doi.org/10.1109/LICS.2007.27 UR - https://doi.ieeecomputersociety.org/10.1109/LICS.2007.27 ER - TY - CPAPER ID - DBLP:conf/time/LagoMP07 AU - Lago, Ugo Dal AU - Montanari, Angelo AU - Puppis, Gabriele TI - On the Equivalence of Automaton-Based Representations of Time Granularities. BT - 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 28-30 June 2007, Alicante, Spain SP - 82 EP - 93 PY - 2007// DO - 10.1109/TIME.2007.56 UR - https://doi.org/10.1109/TIME.2007.56 UR - https://doi.ieeecomputersociety.org/10.1109/TIME.2007.56 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-0704-2448 AU - Baillot, Patrick AU - Coppola, Paolo AU - Lago, Ugo Dal TI - Light Logics and Optimal Reduction: Completeness and Complexity JO - CoRR VL - abs/0704.2448 PY - 2007// UR - http://arxiv.org/abs/0704.2448 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-cs-0703152 AU - Lago, Ugo Dal AU - Masini, Andrea AU - Zorzi, Margherita TI - Quantum Lambda Calculi with Classical Control: Syntax and Expressive Power JO - CoRR VL - abs/cs/0703152 PY - 2007// UR - http://arxiv.org/abs/cs/0703152 ER - TY - JOUR ID - DBLP:journals/mscs/LagoB06 AU - Lago, Ugo Dal AU - Baillot, Patrick TI - On light logics, uniform encodings and polynomial time. JO - Math. Struct. Comput. Sci. VL - 16 IS - 4 SP - 713 EP - 733 PY - 2006// DO - 10.1017/S0960129506005421 UR - https://doi.org/10.1017/S0960129506005421 ER - TY - CPAPER ID - DBLP:conf/cie/LagoM06 AU - Lago, Ugo Dal AU - Martini, Simone TI - An Invariant Cost Model for the Lambda Calculus. BT - Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings SP - 105 EP - 114 PY - 2006// DO - 10.1007/11780342_11 UR - https://doi.org/10.1007/11780342_11 ER - TY - CPAPER ID - DBLP:conf/lics/Lago06 AU - Lago, Ugo Dal TI - Context Semantics, Linear Logic and Computational Complexity. BT - 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings SP - 169 EP - 178 PY - 2006// DO - 10.1109/LICS.2006.21 UR - https://doi.org/10.1109/LICS.2006.21 UR - https://doi.ieeecomputersociety.org/10.1109/LICS.2006.21 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-cs-0608030 AU - Baillot, Patrick AU - Lago, Ugo Dal AU - Moyen, Jean-Yves TI - On Quasi-Interpretations, Blind Abstractions and Implicit Complexity JO - CoRR VL - abs/cs/0608030 PY - 2006// UR - http://arxiv.org/abs/cs/0608030 ER - TY - THES ID - DBLP:phd/it/DalLago05m AU - Lago, Ugo Dal TI - Semantic frameworks for implicit computational complexity. PY - 2005// UR - https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=BNI0021484 ER - TY - CPAPER ID - DBLP:conf/fsttcs/LagoH05 AU - Lago, Ugo Dal AU - Hofmann, Martin TI - Quantitative Models and Implicit Complexity. BT - FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings SP - 189 EP - 200 PY - 2005// DO - 10.1007/11590156_15 UR - https://doi.org/10.1007/11590156_15 ER - TY - CPAPER ID - DBLP:conf/lics/Lago05 AU - Lago, Ugo Dal TI - The Geometry of Linear Higher-Order Recursion. BT - 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 26-29 June 2005, Chicago, IL, USA, Proceedings SP - 366 EP - 375 PY - 2005// DO - 10.1109/LICS.2005.52 UR - https://doi.org/10.1109/LICS.2005.52 UR - https://doi.ieeecomputersociety.org/10.1109/LICS.2005.52 ER - TY - CPAPER ID - DBLP:conf/tlca/CoppolaLR05 AU - Coppola, Paolo AU - Lago, Ugo Dal AU - Rocca, Simona Ronchi Della TI - Elementary Affine Logic and the Call-by-Value Lambda Calculus. BT - Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings SP - 131 EP - 145 PY - 2005// DO - 10.1007/11417170_11 UR - https://doi.org/10.1007/11417170_11 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-cs-0506079 AU - Lago, Ugo Dal AU - Hofmann, Martin TI - Quantitative Models and Implicit Complexity JO - CoRR VL - abs/cs/0506079 PY - 2005// UR - http://arxiv.org/abs/cs/0506079 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-cs-0506080 AU - Lago, Ugo Dal TI - The Geometry of Linear Higher-Order Recursion JO - CoRR VL - abs/cs/0506080 PY - 2005// UR - http://arxiv.org/abs/cs/0506080 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-cs-0510092 AU - Lago, Ugo Dal TI - Context Semantics, Linear Logic and Computational Complexity JO - CoRR VL - abs/cs/0510092 PY - 2005// UR - http://arxiv.org/abs/cs/0510092 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-cs-0511045 AU - Lago, Ugo Dal AU - Martini, Simone TI - An Invariant Cost Model for the Lambda Calculus JO - CoRR VL - abs/cs/0511045 PY - 2005// UR - http://arxiv.org/abs/cs/0511045 ER - TY - JOUR ID - DBLP:journals/tcs/LagoM04 AU - Lago, Ugo Dal AU - Martini, Simone TI - Phase semantics and decidability of elementary affine logic. JO - Theor. Comput. Sci. VL - 318 IS - 3 SP - 409 EP - 433 PY - 2004// DO - 10.1016/J.TCS.2004.02.037 UR - https://doi.org/10.1016/j.tcs.2004.02.037 ER - TY - CPAPER ID - DBLP:conf/ictcs/LagoMP03 AU - Lago, Ugo Dal AU - Montanari, Angelo AU - Puppis, Gabriele TI - Towards Compact and Tractable Automaten-Based Representations of Time Granularities. BT - Theoretical Computer Science, 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings SP - 72 EP - 85 PY - 2003// DO - 10.1007/978-3-540-45208-9_7 UR - https://doi.org/10.1007/978-3-540-45208-9_7 ER - TY - CPAPER ID - DBLP:conf/ictcs/Lago03 AU - Lago, Ugo Dal TI - On the Expressive Power of Light Affine Logic. BT - Theoretical Computer Science, 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings SP - 216 EP - 227 PY - 2003// DO - 10.1007/978-3-540-45208-9_18 UR - https://doi.org/10.1007/978-3-540-45208-9_18 ER - TY - CPAPER ID - DBLP:conf/types/LagoMR03 AU - Lago, Ugo Dal AU - Martini, Simone AU - Roversi, Luca TI - Higher-Order Linear Ramified Recurrence. BT - Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers SP - 178 EP - 193 PY - 2003// DO - 10.1007/978-3-540-24849-1_12 UR - https://doi.org/10.1007/978-3-540-24849-1_12 ER - TY - CPAPER ID - DBLP:conf/aaai/LagoPT02 AU - Lago, Ugo Dal AU - Pistore, Marco AU - Traverso, Paolo TI - Planning with a Language for Extended Goals. BT - Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28 - August 1, 2002, Edmonton, Alberta, Canada. SP - 447 EP - 454 PY - 2002// UR - http://www.aaai.org/Library/AAAI/2002/aaai02-068.php ER - TY - CPAPER ID - DBLP:conf/ssd/LagoM01 AU - Lago, Ugo Dal AU - Montanari, Angelo TI - Calendars, Time Granularities, and Automata. BT - Advances in Spatial and Temporal Databases, 7th International Symposium, SSTD 2001, Redondo Beach, CA, USA, July 12-15, 2001, Proceedings SP - 279 EP - 298 PY - 2001// DO - 10.1007/3-540-47724-1_15 UR - https://doi.org/10.1007/3-540-47724-1_15 ER -