Dal Lago, Ugo; Tanaka, Ryo; Yoshimizu, Akira, The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens, in: Lago, Ugo Dal, Proceedings - Symposium on Logic in Computer Science, «PROCEEDINGS - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE», 2017, pp. 1 - 12 (atti di: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, 2017) [Contribution to conference proceedings]
Dal Lago, Ugo; Faggian, Claudia; Valiron, Benoit; Yoshimizu, Akira, The geometry of parallelism: Classical, probabilistic, and quantum effects, in: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017), New York, Association for Computing Machinery, 2017, pp. 833 - 845 (atti di: 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, 2017) [Contribution to conference proceedings]Open Access
Borgström, Johannes; Dal Lago, Ugo; Gordon, Andrew D.; Szymczak, Marcin, A lambda-calculus foundation for universal probabilistic programming, in: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ACM, «ACM SIGPLAN NOTICES», 2016, pp. 33 - 46 (atti di: ICFP, Nara, Giappone, Settembre 2016) [Contribution to conference proceedings]
Dal Lago, Ugo, Infinitary Lambda Calculi from a Linear Perspective, in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2016, pp. 447 - 456 (atti di: 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2016, Columbia University, New York, USA, 2016) [Contribution to conference proceedings]
Dal Lago, Ugo; Di Giamberardino, Paolo, On session types and polynomial time, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2016, 26, pp. 1433 - 1458 [Scientific article]
