Typing Mobility in the Seal Calculus.

Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa Nardelli

Browse the full CONCUR paper archive.