Akira Yoshimizu

According to our database, Akira Yoshimizu authored at least 12 papers between 2014 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

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

Differential Logical Relations, Part I: The Simply-Typed Case (Long Version).

Ugo Dal Lago, Francesco Gavazzo, Akira Yoshimizu

CoRR, 2019

A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4.

Yosuke Fukuda, Akira Yoshimizu

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

Differential Logical Relations, Part I: The Simply-Typed Case.

Ugo Dal Lago, Francesco Gavazzo, Akira Yoshimizu

Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

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

The geometry of parallelism: classical, probabilistic, and quantum effects.

Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens.

Ugo Dal Lago, Ryo Tanaka, Akira Yoshimizu

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

2015

Parallelism and Synchronization in an Infinitary Context (Long Version).

Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu

CoRR, 2015

Parallelism and Synchronization in an Infinitary Context.

Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

2014

The Geometry of Synchronization (Long Version).

Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo, Akira Yoshimizu

CoRR, 2014

Measurements in Proof Nets as Higher-Order Quantum Circuits.

Akira Yoshimizu, Ichiro Hasuo, Claudia Faggian, Ugo Dal Lago

Proceedings of the Programming Languages and Systems, 2014

The geometry of synchronization.

Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo, Akira Yoshimizu

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014