pith. sign in

Mariangiola Dezani-Ciancaglini

Identifiers

  • name variant Mariangiola Dezani-Ciancaglini 0.60 · backfill

Papers (3)

  1. On the Preciseness of Subtyping in Session Types cs.LO · 2016 · author #2
  2. Combining behavioural types with security analysis cs.PL · 2015 · author #4
  3. Intersection types for unbind and rebind cs.LO · 2011 · author #1

Mentions

  • 1510.02229 #4 · backfill · confidence 0.70 Mariangiola Dezani-Ciancaglini
  • 1101.4426 #1 · backfill · confidence 0.70 Mariangiola Dezani-Ciancaglini

Frequent Coauthors