Garg, Deepak Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society;
3473598.pdf (Publisher version), 417KB
Aguirre, A., Barthe, G., Gaboardi, M., Garg, D., Katsumata, S.-y., & Sato, T. (2021). Higher-Order Probabilistic Adversarial Computations: Categorical Semantics and Program Logics. Proceedings of the ACM on Programming Languages, 5, ICFP: 93, pp. 1-30. doi:10.1145/3473598.