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: Tranquilli:Paolo
Contributed to:
2013
20092008Wrote 3 papers:
- QAPL-2013-Tranquilli
- 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.