[LICS2015] Ugo Dal Lago, Claudia Faggian, Benoit Valiron, and Akira Yoshimizu. Parallelism and Synchronization in an Infinitary Context. In Proceedings of the 30th International Symposium on Logic in Computer Science (LICS), pages 559-572, 2015. [ doi ]
[FoSSaCS2016] Soichiro Fujii, Shin-ya Katsumata, and Paul-Andr&ecute Melliès. Towards a formal theory of graded monads. In Proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures(FoSSaCS), pages 513-530, 2016. [ doi ]
[POPL2016] Koko Muroya, Naohiko Hoshino, and Ichiro Hasuo. Memoryful geometry of interaction II: Recursion and adequacy. . In Proceedings of the 43rd International Symposium on Principles of Programming Languages (POPL), pages 748-760, 2016. [ doi ]
[POPL2017] Ugo Dal Lago, Claudia Faggian, Benoit Valiron, and Akira Yoshimizu. The Geometry of Parallelism. Classical, Probabilistic, and Quantum Effects. In Proceedings of the 44th International Symposium on Principles of Programming Languages (POPL), pages 833-845, 2017. [ doi ]