\n \n \n
\n
\n\n \n \n \n \n \n \n Implicit recursion-theoretic characterizations of counting classes.\n \n \n \n \n\n\n \n Ugo Dal Lago, Reinhard Kahle, & Isabel Oitavem.\n\n\n \n\n\n\n
Arch. Math. Log., 61(7-8): 1129–1144. 2022.\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/aml/LagoKO22,\n author = {Ugo Dal Lago and\n Reinhard Kahle and\n Isabel Oitavem},\n title = {Implicit recursion-theoretic characterizations of counting classes},\n journal = {Arch. Math. Log.},\n volume = {61},\n number = {7-8},\n pages = {1129--1144},\n year = {2022},\n url = {https://doi.org/10.1007/s00153-022-00828-4},\n doi = {10.1007/S00153-022-00828-4},\n timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/aml/LagoKO22.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Implicit computation complexity in higher-order programming languages: A Survey in Memory of Martin Hofmann.\n \n \n \n \n\n\n \n Ugo Dal Lago.\n\n\n \n\n\n\n
Math. Struct. Comput. Sci., 32(6): 760–776. 2022.\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/mscs/Lago22,\n author = {Ugo Dal Lago},\n title = {Implicit computation complexity in higher-order programming languages:\n {A} Survey in Memory of Martin Hofmann},\n journal = {Math. Struct. Comput. Sci.},\n volume = {32},\n number = {6},\n pages = {760--776},\n year = {2022},\n url = {https://doi.org/10.1017/S0960129521000505},\n doi = {10.1017/S0960129521000505},\n timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/mscs/Lago22.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Multi types and reasonable space.\n \n \n \n \n\n\n \n Beniamino Accattoli, Ugo Dal Lago, & Gabriele Vanoni.\n\n\n \n\n\n\n
Proc. ACM Program. Lang., 6(ICFP): 799–825. 2022.\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/pacmpl/AccattoliLV22,\n author = {Beniamino Accattoli and\n Ugo Dal Lago and\n Gabriele Vanoni},\n title = {Multi types and reasonable space},\n journal = {Proc. {ACM} Program. Lang.},\n volume = {6},\n number = {{ICFP}},\n pages = {799--825},\n year = {2022},\n url = {https://doi.org/10.1145/3547650},\n doi = {10.1145/3547650},\n timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/pacmpl/AccattoliLV22.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n On Feller continuity and full abstraction.\n \n \n \n \n\n\n \n Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, & Francesco Gavazzo.\n\n\n \n\n\n\n
Proc. ACM Program. Lang., 6(ICFP): 826–854. 2022.\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/pacmpl/BartheCLG22,\n author = {Gilles Barthe and\n Rapha{\\"{e}}lle Crubill{\\'{e}} and\n Ugo Dal Lago and\n Francesco Gavazzo},\n title = {On Feller continuity and full abstraction},\n journal = {Proc. {ACM} Program. Lang.},\n volume = {6},\n number = {{ICFP}},\n pages = {826--854},\n year = {2022},\n url = {https://doi.org/10.1145/3547651},\n doi = {10.1145/3547651},\n timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/pacmpl/BartheCLG22.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Effectful program distancing.\n \n \n \n \n\n\n \n Ugo Dal Lago, & Francesco Gavazzo.\n\n\n \n\n\n\n
Proc. ACM Program. Lang., 6(POPL): 1–30. 2022.\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/pacmpl/LagoG22,\n author = {Ugo Dal Lago and\n Francesco Gavazzo},\n title = {Effectful program distancing},\n journal = {Proc. {ACM} Program. Lang.},\n volume = {6},\n number = {{POPL}},\n pages = {1--30},\n year = {2022},\n url = {https://doi.org/10.1145/3498680},\n doi = {10.1145/3498680},\n timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/pacmpl/LagoG22.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n A relational theory of effects and coeffects.\n \n \n \n \n\n\n \n Ugo Dal Lago, & Francesco Gavazzo.\n\n\n \n\n\n\n
Proc. ACM Program. Lang., 6(POPL): 1–28. 2022.\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/pacmpl/LagoG22a,\n author = {Ugo Dal Lago and\n Francesco Gavazzo},\n title = {A relational theory of effects and coeffects},\n journal = {Proc. {ACM} Program. Lang.},\n volume = {6},\n number = {{POPL}},\n pages = {1--28},\n year = {2022},\n url = {https://doi.org/10.1145/3498692},\n doi = {10.1145/3498692},\n timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/pacmpl/LagoG22a.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Tidy: Symbolic Verification of Timed Cryptographic Protocols.\n \n \n \n \n\n\n \n Gilles Barthe, Ugo Dal Lago, Giulio Malavolta, & Itsaka Rakotonirina.\n\n\n \n\n\n\n In Heng Yin, Angelos Stavrou, Cas Cremers, & Elaine Shi., editor(s),
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022, pages 263–276, 2022. ACM\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/ccs/BartheLMR22,\n author = {Gilles Barthe and\n Ugo Dal Lago and\n Giulio Malavolta and\n Itsaka Rakotonirina},\n editor = {Heng Yin and\n Angelos Stavrou and\n Cas Cremers and\n Elaine Shi},\n title = {Tidy: Symbolic Verification of Timed Cryptographic Protocols},\n booktitle = {Proceedings of the 2022 {ACM} {SIGSAC} Conference on Computer and\n Communications Security, {CCS} 2022, Los Angeles, CA, USA, November\n 7-11, 2022},\n pages = {263--276},\n publisher = {{ACM}},\n year = {2022},\n url = {https://doi.org/10.1145/3548606.3559343},\n doi = {10.1145/3548606.3559343},\n timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/ccs/BartheLMR22.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments.\n \n \n \n \n\n\n \n Ugo Dal Lago, & Giulia Giusti.\n\n\n \n\n\n\n In Bartek Klin, Slawomir Lasota, & Anca Muscholl., editor(s),
33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland, volume 243, of
LIPIcs, pages 37:1–37:18, 2022. Schloss Dagstuhl - Leibniz-Zentrum für Informatik\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/concur/LagoG22,\n author = {Ugo Dal Lago and\n Giulia Giusti},\n editor = {Bartek Klin and\n Slawomir Lasota and\n Anca Muscholl},\n title = {On Session Typing, Probabilistic Polynomial Time, and Cryptographic\n Experiments},\n booktitle = {33rd International Conference on Concurrency Theory, {CONCUR} 2022,\n September 12-16, 2022, Warsaw, Poland},\n series = {LIPIcs},\n volume = {243},\n pages = {37:1--37:18},\n publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\\"{u}}r Informatik},\n year = {2022},\n url = {https://doi.org/10.4230/LIPIcs.CONCUR.2022.37},\n doi = {10.4230/LIPICS.CONCUR.2022.37},\n timestamp = {Mon, 26 Sep 2022 16:25:34 +0200},\n biburl = {https://dblp.org/rec/conf/concur/LagoG22.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n On Quantitative Algebraic Higher-Order Theories.\n \n \n \n \n\n\n \n Ugo Dal Lago, Furio Honsell, Marina Lenisa, & Paolo Pistone.\n\n\n \n\n\n\n In Amy P. Felty., editor(s),
7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022, August 2-5, 2022, Haifa, Israel, volume 228, of
LIPIcs, pages 4:1–4:18, 2022. Schloss Dagstuhl - Leibniz-Zentrum für Informatik\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/fscd/LagoHLP22,\n author = {Ugo Dal Lago and\n Furio Honsell and\n Marina Lenisa and\n Paolo Pistone},\n editor = {Amy P. Felty},\n title = {On Quantitative Algebraic Higher-Order Theories},\n booktitle = {7th International Conference on Formal Structures for Computation\n and Deduction, {FSCD} 2022, August 2-5, 2022, Haifa, Israel},\n series = {LIPIcs},\n volume = {228},\n pages = {4:1--4:18},\n publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\\"{u}}r Informatik},\n year = {2022},\n url = {https://doi.org/10.4230/LIPIcs.FSCD.2022.4},\n doi = {10.4230/LIPICS.FSCD.2022.4},\n timestamp = {Tue, 28 Jun 2022 15:50:51 +0200},\n biburl = {https://dblp.org/rec/conf/fscd/LagoHLP22.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Curry and Howard Meet Borel.\n \n \n \n \n\n\n \n Melissa Antonelli, Ugo Dal Lago, & Paolo Pistone.\n\n\n \n\n\n\n In Christel Baier, & Dana Fisman., editor(s),
LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022, pages 45:1–45:13, 2022. ACM\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/lics/AntonelliLP22,\n author = {Melissa Antonelli and\n Ugo Dal Lago and\n Paolo Pistone},\n editor = {Christel Baier and\n Dana Fisman},\n title = {Curry and Howard Meet Borel},\n booktitle = {{LICS} '22: 37th Annual {ACM/IEEE} Symposium on Logic in Computer\n Science, Haifa, Israel, August 2 - 5, 2022},\n pages = {45:1--45:13},\n publisher = {{ACM}},\n year = {2022},\n url = {https://doi.org/10.1145/3531130.3533361},\n doi = {10.1145/3531130.3533361},\n timestamp = {Tue, 09 Aug 2022 12:30:54 +0200},\n biburl = {https://dblp.org/rec/conf/lics/AntonelliLP22.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Reasonable Space for the \\(λ\\)-Calculus, Logarithmically.\n \n \n \n \n\n\n \n Beniamino Accattoli, Ugo Dal Lago, & Gabriele Vanoni.\n\n\n \n\n\n\n In Christel Baier, & Dana Fisman., editor(s),
LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022, pages 47:1–47:13, 2022. ACM\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/lics/AccattoliLV22,\n author = {Beniamino Accattoli and\n Ugo Dal Lago and\n Gabriele Vanoni},\n editor = {Christel Baier and\n Dana Fisman},\n title = {Reasonable Space for the {\\(\\lambda\\)}-Calculus, Logarithmically},\n booktitle = {{LICS} '22: 37th Annual {ACM/IEEE} Symposium on Logic in Computer\n Science, Haifa, Israel, August 2 - 5, 2022},\n pages = {47:1--47:13},\n publisher = {{ACM}},\n year = {2022},\n url = {https://doi.org/10.1145/3531130.3533362},\n doi = {10.1145/3531130.3533362},\n timestamp = {Tue, 09 Aug 2022 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/lics/AccattoliLV22.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n On Dynamic Lifting and Effect Typing in Circuit Description Languages.\n \n \n \n \n\n\n \n Andrea Colledan, & Ugo Dal Lago.\n\n\n \n\n\n\n In Delia Kesner, & Pierre-Marie Pédrot., editor(s),
28th International Conference on Types for Proofs and Programs, TYPES 2022, June 20-25, 2022, LS2N, University of Nantes, France, volume 269, of
LIPIcs, pages 3:1–3:21, 2022. Schloss Dagstuhl - Leibniz-Zentrum für Informatik\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/types/ColledanL22,\n author = {Andrea Colledan and\n Ugo Dal Lago},\n editor = {Delia Kesner and\n Pierre{-}Marie P{\\'{e}}drot},\n title = {On Dynamic Lifting and Effect Typing in Circuit Description Languages},\n booktitle = {28th International Conference on Types for Proofs and Programs, {TYPES}\n 2022, June 20-25, 2022, LS2N, University of Nantes, France},\n series = {LIPIcs},\n volume = {269},\n pages = {3:1--3:21},\n publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\\"{u}}r Informatik},\n year = {2022},\n url = {https://doi.org/10.4230/LIPIcs.TYPES.2022.3},\n doi = {10.4230/LIPICS.TYPES.2022.3},\n timestamp = {Mon, 31 Jul 2023 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/types/ColledanL22.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Proceedings of the 23rd Italian Conference on Theoretical Computer Science, ICTCS 2022, Rome, Italy, September 7-9, 2022.\n \n \n \n \n\n\n \n Ugo Dal Lago, & Daniele Gorla.,\n editors.\n \n\n\n \n\n\n\n Volume 3284, of CEUR Workshop Proceedings.CEUR-WS.org. 2022.\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@proceedings{DBLP:conf/ictcs/2022,\n editor = {Ugo Dal Lago and\n Daniele Gorla},\n title = {Proceedings of the 23rd Italian Conference on Theoretical Computer\n Science, {ICTCS} 2022, Rome, Italy, September 7-9, 2022},\n series = {{CEUR} Workshop Proceedings},\n volume = {3284},\n publisher = {CEUR-WS.org},\n year = {2022},\n url = {https://ceur-ws.org/Vol-3284},\n urn = {urn:nbn:de:0074-3284-4},\n timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/ictcs/2022.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n On Dynamic Lifting and Effect Typing in Circuit Description Languages (Extended Version).\n \n \n \n \n\n\n \n Andrea Colledan, & Ugo Dal Lago.\n\n\n \n\n\n\n
CoRR, abs/2202.07636. 2022.\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/corr/abs-2202-07636,\n author = {Andrea Colledan and\n Ugo Dal Lago},\n title = {On Dynamic Lifting and Effect Typing in Circuit Description Languages\n (Extended Version)},\n journal = {CoRR},\n volume = {abs/2202.07636},\n year = {2022},\n url = {https://arxiv.org/abs/2202.07636},\n eprinttype = {arXiv},\n eprint = {2202.07636},\n timestamp = {Fri, 18 Feb 2022 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/corr/abs-2202-07636.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Reasonable Space for the \\(λ\\)-Calculus, Logarithmically.\n \n \n \n \n\n\n \n Beniamino Accattoli, Ugo Dal Lago, & Gabriele Vanoni.\n\n\n \n\n\n\n
CoRR, abs/2203.00362. 2022.\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/corr/abs-2203-00362,\n author = {Beniamino Accattoli and\n Ugo Dal Lago and\n Gabriele Vanoni},\n title = {Reasonable Space for the {\\(\\lambda\\)}-Calculus, Logarithmically},\n journal = {CoRR},\n volume = {abs/2203.00362},\n year = {2022},\n url = {https://doi.org/10.48550/arXiv.2203.00362},\n doi = {10.48550/ARXIV.2203.00362},\n eprinttype = {arXiv},\n eprint = {2203.00362},\n timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/corr/abs-2203-00362.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Curry and Howard Meet Borel.\n \n \n \n \n\n\n \n Melissa Antonelli, Ugo Dal Lago, & Paolo Pistone.\n\n\n \n\n\n\n
CoRR, abs/2203.11265. 2022.\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/corr/abs-2203-11265,\n author = {Melissa Antonelli and\n Ugo Dal Lago and\n Paolo Pistone},\n title = {Curry and Howard Meet Borel},\n journal = {CoRR},\n volume = {abs/2203.11265},\n year = {2022},\n url = {https://doi.org/10.48550/arXiv.2203.11265},\n doi = {10.48550/ARXIV.2203.11265},\n eprinttype = {arXiv},\n eprint = {2203.11265},\n timestamp = {Tue, 29 Mar 2022 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/abs-2203-11265.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n On Reinforcement Learning, Effect Handlers, and the State Monad.\n \n \n \n \n\n\n \n Ugo Dal Lago, Francesco Gavazzo, & Alexis Ghyselen.\n\n\n \n\n\n\n
CoRR, abs/2203.15426. 2022.\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/corr/abs-2203-15426,\n author = {Ugo Dal Lago and\n Francesco Gavazzo and\n Alexis Ghyselen},\n title = {On Reinforcement Learning, Effect Handlers, and the State Monad},\n journal = {CoRR},\n volume = {abs/2203.15426},\n year = {2022},\n url = {https://doi.org/10.48550/arXiv.2203.15426},\n doi = {10.48550/ARXIV.2203.15426},\n eprinttype = {arXiv},\n eprint = {2203.15426},\n timestamp = {Mon, 04 Apr 2022 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/abs-2203-15426.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n On Quantitative Algebraic Higher-Order Theories.\n \n \n \n \n\n\n \n Ugo Dal Lago, Furio Honsell, Marina Lenisa, & Paolo Pistone.\n\n\n \n\n\n\n
CoRR, abs/2204.13654. 2022.\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/corr/abs-2204-13654,\n author = {Ugo Dal Lago and\n Furio Honsell and\n Marina Lenisa and\n Paolo Pistone},\n title = {On Quantitative Algebraic Higher-Order Theories},\n journal = {CoRR},\n volume = {abs/2204.13654},\n year = {2022},\n url = {https://doi.org/10.48550/arXiv.2204.13654},\n doi = {10.48550/ARXIV.2204.13654},\n eprinttype = {arXiv},\n eprint = {2204.13654},\n timestamp = {Mon, 02 May 2022 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/abs-2204-13654.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments (Long Version).\n \n \n \n \n\n\n \n Ugo Dal Lago, & Giulia Giusti.\n\n\n \n\n\n\n
CoRR, abs/2207.03360. 2022.\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/corr/abs-2207-03360,\n author = {Ugo Dal Lago and\n Giulia Giusti},\n title = {On Session Typing, Probabilistic Polynomial Time, and Cryptographic\n Experiments (Long Version)},\n journal = {CoRR},\n volume = {abs/2207.03360},\n year = {2022},\n url = {https://doi.org/10.48550/arXiv.2207.03360},\n doi = {10.48550/ARXIV.2207.03360},\n eprinttype = {arXiv},\n eprint = {2207.03360},\n timestamp = {Wed, 13 Jul 2022 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/abs-2207-03360.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Multi Types and Reasonable Space (Long Version).\n \n \n \n \n\n\n \n Beniamino Accattoli, Ugo Dal Lago, & Gabriele Vanoni.\n\n\n \n\n\n\n
CoRR, abs/2207.08795. 2022.\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/corr/abs-2207-08795,\n author = {Beniamino Accattoli and\n Ugo Dal Lago and\n Gabriele Vanoni},\n title = {Multi Types and Reasonable Space (Long Version)},\n journal = {CoRR},\n volume = {abs/2207.08795},\n year = {2022},\n url = {https://doi.org/10.48550/arXiv.2207.08795},\n doi = {10.48550/ARXIV.2207.08795},\n eprinttype = {arXiv},\n eprint = {2207.08795},\n timestamp = {Tue, 19 Jul 2022 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/abs-2207-08795.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n On Feller Continuity and Full Abstraction (Long Version).\n \n \n \n \n\n\n \n Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, & Francesco Gavazzo.\n\n\n \n\n\n\n
CoRR, abs/2207.10590. 2022.\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/corr/abs-2207-10590,\n author = {Gilles Barthe and\n Rapha{\\"{e}}lle Crubill{\\'{e}} and\n Ugo Dal Lago and\n Francesco Gavazzo},\n title = {On Feller Continuity and Full Abstraction (Long Version)},\n journal = {CoRR},\n volume = {abs/2207.10590},\n year = {2022},\n url = {https://doi.org/10.48550/arXiv.2207.10590},\n doi = {10.48550/ARXIV.2207.10590},\n eprinttype = {arXiv},\n eprint = {2207.10590},\n timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/abs-2207-10590.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Open Higher-Order Logic (Long Version).\n \n \n \n \n\n\n \n Ugo Dal Lago, Francesco Gavazzo, & Alexis Ghyselen.\n\n\n \n\n\n\n
CoRR, abs/2211.06671. 2022.\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/corr/abs-2211-06671,\n author = {Ugo Dal Lago and\n Francesco Gavazzo and\n Alexis Ghyselen},\n title = {Open Higher-Order Logic (Long Version)},\n journal = {CoRR},\n volume = {abs/2211.06671},\n year = {2022},\n url = {https://doi.org/10.48550/arXiv.2211.06671},\n doi = {10.48550/ARXIV.2211.06671},\n eprinttype = {arXiv},\n eprint = {2211.06671},\n timestamp = {Tue, 15 Nov 2022 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/corr/abs-2211-06671.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n