`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: Yoshimizu:Akira

### Contributed to:

### 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.