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 × Portugal
2 × Italy
Collaborated with:

Talks about:
hypercoher (1) differenti (1) confluenc (1) character (1) multipl (1) correct (1) semant (1) promot (1) linear (1) depend (1)

Person: Paolo Tranquilli

DBLP DBLP: Tranquilli:Paolo

Contributed to:

QAPL 20132013
CSL 20092009
CSL 20082008

Wrote 3 papers:

Indexed Labels for Loop Iteration Dependent Costs (PT), pp. 19–33.
CSL-2009-Tranquilli #confluence #difference
Confluence of Pure Differential Nets with Promotion (PT), pp. 500–514.
CSL-2008-Tranquilli #correctness #linear #logic #multi #semantics
A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic (PT), pp. 246–261.

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.