|
[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é 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 ]
|
|
[LICS2017]
|
Ugo Dal Lago, Ryo Tanaka, and Akira Yoshimizu.
The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens.
In Proceedings of the 32nd International Symposium on Logic in
Computer Science (LICS), pages 1-12, 2017.
[ doi ]
|
|
[ICTCS2017]
|
Ugo Dal Lago, Francesco Gavazzo, and Ryo Tanaka.
Effectful Applicative Similarity for Call-by-Name Lambda Calculi.
In Joint Proceedings of the 18th Italian Conference on Theoretical Computer
Science and the 32nd Italian Conference on Computational Logic co-located
with the 2017 {IEEE} International Workshop on Measurements and Networking, pages 87-98, 2017.
[ pdf ]
|
|
[FLOPS2018]
|
Martin Avanzini, Ugo Dal Lago, and Akihisa Yamada.
On Probabilistic Term Rewriting.
In Functional and Logic Programming, 14th International Symposium, Proceedings, pages 132-198, 2018.
[ doi ]
|