D-Fusion: A Distinctive Fusion Calculus.

Michele Boreale, Maria Grazia Buscemi, Ugo Montanari

Browse the full APLAS paper archive.