The geometry of synchronization. - Ugo Dal Lago; Claudia Faggian; Ichiro Hasuo; Akira Yoshimizu (CSL-LICS, 2014)

Measurements in Proof Nets as Higher-Order Quantum Circuits. - Akira Yoshimizu; Ichiro Hasuo; Claudia Faggian; Ugo Dal Lago (ESOP, 2014)

The Geometry of Synchronization (Long Version). - Ugo Dal Lago; Claudia Faggian; Ichiro Hasuo; Akira Yoshimizu (CoRR, 2014)

Parallelism and Synchronization in an Infinitary Context. - Ugo Dal Lago; Claudia Faggian; Benoît Valiron; Akira Yoshimizu (LICS, 2015)

Parallelism and Synchronization in an Infinitary Context (Long Version). - Ugo Dal Lago; Claudia Faggian; Benoît Valiron; Akira Yoshimizu (CoRR, 2015)

The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens. - Ugo Dal Lago; Ryo Tanaka; Akira Yoshimizu (LICS, 2017)

The geometry of parallelism: classical, probabilistic, and quantum effects. - Ugo Dal Lago; Claudia Faggian; Benoît Valiron; Akira Yoshimizu (POPL, 2017)

The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens (Long Version). - Ugo Dal Lago; Ryo Tanaka; Akira Yoshimizu (CoRR, 2017)

Differential Logical Relations, Part I: The Simply-Typed Case. - Ugo Dal Lago; Francesco Gavazzo; Akira Yoshimizu (ICALP, 2019)

A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4. - Yosuke Fukuda 001; Akira Yoshimizu (FSCD, 2019)

Differential Logical Relations, Part I: The Simply-Typed Case (Long Version). - Ugo Dal Lago; Francesco Gavazzo; Akira Yoshimizu (CoRR, 2019)

Intersection types and runtime errors in the pi-calculus. - Ugo Dal Lago; Marc de Visme; Damiano Mazza; Akira Yoshimizu (Proc. ACM Program. Lang., 2019)