Luca Padovani (Dipartimento di Informatica

Identifiers

• name variant Luca Padovani (Dipartimento di Informatica 0.60 · backfill

Papers (3)

1. From Lock Freedom to Progress Using Session Types cs.PL · 2013 · author #1
2. On Global Types and Multi-Party Session cs.PL · 2012 · author #11
3. Session Types = Intersection Types + Union Types cs.PL · 2011 · author #1

Mentions

• 1312.2698 #1 · backfill · confidence 0.70 Luca Padovani (Dipartimento di Informatica
• 1203.0780 #11 · backfill · confidence 0.70 Luca Padovani (Dipartimento di Informatica
• 1101.4429 #1 · backfill · confidence 0.70 Luca Padovani (Dipartimento di Informatica

Frequent Coauthors

• Italy) 2 shared papers
• France) 1 shared papers
• Giuseppe Castagna (CNRS 1 shared papers
• Mariangiola Dezani-Ciancaglini (Dipartimento di Informatica 1 shared papers
• Paris 1 shared papers
• PPS 1 shared papers
• Sorbonne Paris Cit\'e 1 shared papers
• Torino 1 shared papers
• Universit`a degli Studi di Torino 1 shared papers
• Universit\`a di Torino 1 shared papers
• Universit\`a di Torino) 1 shared papers
• Univ Paris Diderot 1 shared papers