PUBLICATIONS

  • U. Dal Lago, R. Kahle and I. Oitavem
    "
    A Recursion-Theoretic Characterization of the Probabilistic Class PP"

    46th Mathematical Foundations of Computer Science (MFCS 2021), pp 35:1-12

    pdf bib.

  • M. Avanzini and G. Barthe and U. Dal Lago
    "
    On Continuation-Passing Transformations and Expected Cost Analysis"

    Proceedings of the ACM on Programming Languages, 5 (ICFP 2021), pp 87:1-30

    pdf bib.

  • U. Dal Lago and F. Gavazzo
    "Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Programs"
    6th Formal Structures for Computation and Deduction (FSCD 2021), pp 23:1-19
    pdf bib.

  • F. Gavazzo and C. Faggian
    "A Relational Theory of Monadic Rewriting Systems, Part I"
    36th Logic in Computer Science (LICS 2021), pp 1-14
    pdf bib.

  • B. Accattoli, U. Dal Lago and G. Vanoni
    "
    The Space of Interaction"

    36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2021), pp ??-??
    pdf bib.

  • P. Pistone
    "
    On Generalized Metric Spaces for the Simply Typed Lambda-Calculus"

    36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2021), pp ??-??
    pdf bib.

  • M. Antonelli, U. Dal Lago and P. Pistone
    "On Measure Quantifiers in First-Order Arithmetic"
    17th Computability in Europe conference (CiE 2021), pp 12-24
    pdf bib.

  • B. Accattoli, U. Dal Lago and G. Vanoni
    "
    The (In)Efficiency of Interaction"

    48th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021), pp 51:1--51:33
    pdf bib.

  • U. Dal Lago, C. Faggian, and S. Ronchi Della Rocca
    "
    Intersection types and (positive) almost-sure termination"

    48th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021), pp 32:1--32:32
    pdf bib.

  • G. Geoffroy, P. Pistone
    "
    A Partial Metric Semantics of Higher-Order Types and Approximate Program Transformations"

    29th EACSL Annual Conference on Computer Science Logic (CSL 2021), pp 23:1--23:18
    pdf bib.

  • D. Hirschkoff, E. Prebet, D. Sangiorgi
    "On the representation of references in the Pi-Calculus"
    31st International Conference on Concurrency Theory (CONCUR 2020),  pp. 171:1 -171: 20
    pdf bib.

  • B. Accattoli, U. Dal Lago and G. Vanoni
    "
    The Machinery of Interaction"

    22nd International Symposium on Principles and Practice of Declarative Programming (PPDP 2020), pp 4:1--4:15
    pdf bib.

  • B. Barak, R. Crubillé, U. Dal Lago
    "On Higher-Order Cryptography"
    47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), pp 108:1-108:16
    pdf bib.
  • U. Dal Lago, G. Guerrieri, W. Heijltjes
    "Decomposing Probabilistic Lambda-Calculi"
    International Conference on Foundations of Software Science and Computation Structures (FoSSaCs 2020) pp 136--156
    pdf bib.
  • G. Barthe, R. Crubillé, U. Dal Lago, F. Gavazzo
    "On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem"
    European Symposium on Programming. (ESOP 2020), pp. 56--83, 2020.
    pdf bib.
  • M. Avanzini, U. Dal Lago, A. Yamada
    "On probabilistic term rewriting."
    Science of Computer Programming, vol. 185, 2020.
    pdf bib.
  • U. Dal Lago, T. Leventis
    "On the Taylor Expansion of Probabilistic lambda-terms"
    4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019), vol. 131, pp 13:1--13:16, 2019.
    pdf bib
  • U. Dal Lago, F. Gavazzo, A. Yoshimizu
    "Differential Logical Relations, Part I: The Simply-Typed Case"
    46th International Colloquium on Automata, Languages, and Programming (ICALP 2019), vol. 132,  pp. 11:1--11:14, 2019.
    pdf bib