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 |