BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
Collaborated with:
L.Caires F.Pfenning B.Toninho
Talks about:
asynchron (1) communic (1) session (1) reduct (1) linear (1) logic (1) type (1) cut (1)

Person: Henry DeYoung

DBLP DBLP: DeYoung:Henry

Contributed to:

CSL 20122012

Wrote 1 papers:

CSL-2012-DeYoungCPT #communication #linear #logic #reduction
Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication (HD, LC, FP, BT), pp. 228–242.

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.