PUBLICATIONS

  • 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