| No. |
Title |
Author |
Year |
| 1 |
Contextual Behavioural Metrics |
Dal Lago, Ugo et al. |
2023 |
| 2 |
On Dynamic Lifting and Effect Typing in Circuit Description Languages |
Colledan, Andrea et al. |
2023 |
| 3 |
On the Lattice of Program Metrics |
Dal Lago, Ugo et al. |
2023 |
| 4 |
Open Higher-Order Logic |
Dal Lago, Ugo et al. |
2023 |
| 5 |
On Quantitative Algebraic Higher-Order Theories |
Dal Lago, Ugo et al. |
2022 |
| 6 |
On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments |
Dal Lago, Ugo et al. |
2022 |
| 7 |
A Recursion-Theoretic Characterization of the Probabilistic Class PP |
Dal Lago, Ugo et al. |
2021 |
| 8 |
Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Programs |
Dal Lago, Ugo et al. |
2021 |
| 9 |
On Higher-Order Cryptography |
Barak, Boaz et al. |
2020 |
| 10 |
Solvability in a Probabilistic Setting (Invited Talk) |
Ronchi Della Rocca, Simona et al. |
2020 |
| 11 |
Differential Logical Relations, Part I: The Simply-Typed Case |
Dal Lago, Ugo et al. |
2019 |
| 12 |
On the Taylor Expansion of Probabilistic lambda-terms |
Dal Lago, Ugo et al. |
2019 |
| 13 |
On Coinduction and Quantum Lambda Calculi |
Deng, Yuxin et al. |
2015 |
| 14 |
On Sharing, Memoization, and Polynomial Time |
Avanzini, Martin et al. |
2015 |
| 15 |
Higher-Order Interpretations and Program Complexity |
Baillot, Patrick et al. |
2012 |
| 16 |
On the Invariance of the Unitary Cost Model for Head Reduction |
Accattoli, Beniamino et al. |
2012 |
