Akira Yoshimizu

From MaRDI portal
Person:4635619

Available identifiers

zbMath Open yoshimizu.akiraMaRDI QIDQ4635619

List of research outcomes





PublicationDate of PublicationType
Differential logical relations, Part I: The simply-typed case2022-07-21Paper
A Linear-Logical Reconstruction of Intuitionistic Modal Logic S42022-07-18Paper
https://portal.mardi4nfdi.de/entity/Q51446592021-01-19Paper
The geometry of synchronization2018-04-23Paper
Parallelism and Synchronization in an Infinitary Context2018-04-23Paper
The geometry of parallelism: classical, probabilistic, and quantum effects2017-10-20Paper
Measurements in Proof Nets as Higher-Order Quantum Circuits2014-04-16Paper

Research outcomes over time

This page was built for person: Akira Yoshimizu

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:4635619&oldid=11605742"
Powered by MediaWiki