APA (7th ed.) Citation

Coppo, M., Cozzi, F., Dezani-Ciancaglini, M., Giovannetti, E., & Pugliese, R. (2005). A Mobility Calculus with Local and Dependent Types. Processes, Terms and Cycles: Steps on the Road to Infinity, 404-444. https://doi.org/10.1007/11601548_20

Chicago Style (17th ed.) Citation

Coppo, Mario, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, and Rosario Pugliese. "A Mobility Calculus with Local and Dependent Types." Processes, Terms and Cycles: Steps on the Road to Infinity 2005: 404-444. https://doi.org/10.1007/11601548_20.

MLA (9th ed.) Citation

Coppo, Mario, et al. "A Mobility Calculus with Local and Dependent Types." Processes, Terms and Cycles: Steps on the Road to Infinity, 2005, pp. 404-444, https://doi.org/10.1007/11601548_20.