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

Collaborated with:
L.V.Auclair C.Tasson
Talks about:
taylor (2) expans (2) parallel (1) multipl (1) linear (1) elimin (1) applic (1) proof (1) logic (1) valu (1)

Person: Jules Chouquet

DBLP DBLP: Chouquet:Jules

Contributed to:

CSL 20182018
CSL 20202020

Wrote 2 papers:

CSL-2018-ChouquetA #linear #logic #parallel #proving
An Application of Parallel Cut Elimination in Unit-Free Multiplicative Linear Logic to the Taylor Expansion of Proof Nets (JC, LVA), p. 17.
CSL-2020-ChouquetT #call-by
Taylor expansion for Call-By-Push-Value (JC, CT), p. 16.

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.