Ugo de'Liguoro

Identifiers

• name variant Ugo de'Liguoro 0.60 · backfill

Papers (4)

1. Mailbox Types for Unordered Interactions cs.PL · 2018 · author #1
2. Session Types for Orchestrated Interactions cs.LO · 2017 · author #2
3. Intersection Types for the lambda-mu Calculus cs.LO · 2017 · author #3
4. Interactive Realizers and Monads cs.LO · 2010 · author #2

Mentions

• 1005.2907 #2 · backfill · confidence 0.70 Ugo de'Liguoro

Frequent Coauthors

• Franco Barbanera 2 shared papers
• Luca Padovani 1 shared papers
• Stefano Berardi 1 shared papers
• Steffen van Bakel 1 shared papers