A Mobility Calculus with Local and Dependent Types (2005)

Cached

Download Links

by Federico Cozzi , Mariangiola Dezani-ciancaglini , Elio Giovannetti , Rosario Pugliese
Venue:Processes, Terms and Cycles: Steps on the Road to Infinity, volume 3838 of LNCS
Citations:5 - 3 self