Giuseppe Castagna (CNRS

Identifiers

• name variant Giuseppe Castagna (CNRS 0.60 · backfill

Papers (2)

1. Set-Theoretic Types for Polymorphic Variants cs.PL · 2016 · author #1
2. On Global Types and Multi-Party Session cs.PL · 2012 · author #1

Mentions

• 1203.0780 #1 · backfill · confidence 0.70 Giuseppe Castagna (CNRS

Frequent Coauthors

• DIBRIS) 1 shared papers
• France) 1 shared papers
• IRIF) 1 shared papers
• Italy) 1 shared papers
• Kim Nguyen (LRI) 1 shared papers
• Luca Padovani (Dipartimento di Informatica 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
• Tommaso Petrucciani (IRIF 1 shared papers
• Torino 1 shared papers
• Universit`a degli Studi di Torino 1 shared papers
• Univ Paris Diderot 1 shared papers