Akira Yoshimizu

Identifiers

No identifiers captured yet.

Papers (6)

1. Differential Logical Relations, Part I: The Simply-Typed Case (Long Version) cs.LO · 2019 · author #3
2. A Linear-logical Reconstruction of Intuitionistic Modal Logic S4 cs.LO · 2019 · author #2
3. The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens (Long Version) cs.LO · 2017 · author #3
4. The Geometry of Parallelism. Classical, Probabilistic, and Quantum Effects cs.LO · 2016 · author #4
5. Parallelism and Synchronization in an Infinitary Context (Long Version) cs.LO · 2015 · author #4
6. The Geometry of Synchronization (Long Version) cs.LO · 2014 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Ugo Dal Lago 5 shared papers
• Claudia Faggian 3 shared papers
• Benoit Valiron 2 shared papers
• Francesco Gavazzo 1 shared papers
• Ichiro Hasuo 1 shared papers
• Ryo Tanaka 1 shared papers
• Yosuke Fukuda 1 shared papers