A Mobility Calculus with Local and Dependent Types (2005)

by Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese
Venue:Processes, Terms and Cycles: Steps on the Road to Infinity, volume 3838 of LNCS