Akira Yoshimizu

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