Akira Yoshimizu

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 11

Top Topics

Geometric Structure

Prime Implicates

Top Venues

Proc. ACM Program. Lang.

Publications

Yosuke Fukuda, Akira Yoshimizu
A Linear-logical Reconstruction of Intuitionistic Modal Logic S4. CoRR (2019)
Ugo Dal Lago, Francesco Gavazzo, Akira Yoshimizu
Differential Logical Relations, Part I: The Simply-Typed Case (Long Version). CoRR (2019)
Ugo Dal Lago, Marc de Visme, Damiano Mazza, Akira Yoshimizu
Intersection types and runtime errors in the pi-calculus. Proc. ACM Program. Lang. 3 (POPL) (2019)
Yosuke Fukuda, Akira Yoshimizu
A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4. FSCD (2019)
Ugo Dal Lago, Francesco Gavazzo, Akira Yoshimizu
Differential Logical Relations, Part I: The Simply-Typed Case. ICALP (2019)
Ugo Dal Lago, Ryo Tanaka, Akira Yoshimizu
The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens. LICS (2017)
Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu
The geometry of parallelism: classical, probabilistic, and quantum effects. POPL (2017)
Ugo Dal Lago, Ryo Tanaka, Akira Yoshimizu
The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens (Long Version). CoRR (2017)
Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu
The Geometry of Parallelism. Classical, Probabilistic, and Quantum Effects. CoRR (2016)
Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu
Parallelism and Synchronization in an Infinitary Context (Long Version). CoRR (2015)
Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu
Parallelism and Synchronization in an Infinitary Context. LICS (2015)
Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo, Akira Yoshimizu
The Geometry of Synchronization (Long Version). CoRR (2014)
Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo, Akira Yoshimizu
The geometry of synchronization. CSL-LICS (2014)
Akira Yoshimizu, Ichiro Hasuo, Claudia Faggian, Ugo Dal Lago
Measurements in Proof Nets as Higher-Order Quantum Circuits. ESOP (2014)