Collaborated with:G.Winskel P.Clairambault U.D.Lago D.Mazza A.Yoshimizu
Talks about:calculus (2) quantum (2) intersect (1) strategi (1) parallel (1) abstract (1) program (1) semant (1) runtim (1) lambda (1)
Person: Marc de Visme
DBLP: Visme:Marc_de
Contributed to:
2017
20192020Wrote 4 papers:
- CSL-2017-VismeW #parallel
- Strategies with Parallel Causes (MdV, GW), p. 21.
- POPL-2019-ClairambaultVW #game studies #programming #quantum #semantics
- Game semantics for quantum programming (PC, MdV, GW), p. 29.
- POPL-2019-LagoVMY #fault #runtime #π-calculus
- Intersection types and runtime errors in the pi-calculus (UDL, MdV, DM, AY), p. 29.
- POPL-2020-ClairambaultV #abstraction #quantum #λ-calculus
- Full abstraction for the quantum lambda-calculus (PC, MdV), p. 28.