Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Yoshimizu, Akira
add a person with the name Yoshimizu, Akira
 

Other publications of authors with the same name

Differential Logical Relations, Part I: The Simply-Typed Case (Long Version)., , and . CoRR, (2019)The Geometry of Synchronization (Long Version)., , , and . CoRR, (2014)The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens (Long Version)., , and . CoRR, (2017)The Geometry of Parallelism. Classical, Probabilistic, and Quantum Effects., , , and . CoRR, (2016)The geometry of synchronization., , , and . CSL-LICS, page 35:1-35:10. ACM, (2014)Intersection types and runtime errors in the pi-calculus., , , and . Proc. ACM Program. Lang., 3 (POPL): 7:1-7:29 (2019)Parallelism and Synchronization in an Infinitary Context (Long Version)., , , and . CoRR, (2015)Parallelism and Synchronization in an Infinitary Context., , , and . LICS, page 559-572. IEEE Computer Society, (2015)A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4., and . FSCD, volume 131 of LIPIcs, page 20:1-20:24. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2019)Differential Logical Relations, Part I: The Simply-Typed Case., , and . ICALP, volume 132 of LIPIcs, page 111:1-111:14. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2019)