BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × France
1 × Japan
Collaborated with:
U.D.Lago C.Faggian B.Valiron I.Hasuo M.d.Visme D.Mazza
Talks about:
synchron (2) parallel (2) geometri (2) quantum (2) probabilist (1) infinitari (1) intersect (1) calculus (1) context (1) classic (1)

Person: Akira Yoshimizu

DBLP DBLP: Yoshimizu:Akira

Contributed to:

LICS 20152015
ESOP 20142014
CSL-LICS 20142014
POPL 20172017
POPL 20192019

Wrote 5 papers:

LICS-2015-LagoFVY #parallel
Parallelism and Synchronization in an Infinitary Context (UDL, CF, BV, AY), pp. 559–572.
ESOP-2014-YoshimizuHFL #higher-order #metric #proving #quantum
Measurements in Proof Nets as Higher-Order Quantum Circuits (AY, IH, CF, UDL), pp. 371–391.
LICS-CSL-2014-LagoFHY #geometry
The geometry of synchronization (UDL, CF, IH, AY), p. 10.
POPL-2017-LagoFVY #geometry #parallel #probability #quantum
The geometry of parallelism: classical, probabilistic, and quantum effects (UDL, CF, BV, AY), pp. 833–845.
POPL-2019-LagoVMY #fault #runtime #π-calculus
Intersection types and runtime errors in the pi-calculus (UDL, MdV, DM, AY), p. 29.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.