BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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 DBLP: Visme:Marc_de

Contributed to:

CSL 20172017
POPL 20192019
POPL 20202020

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

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.