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

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI