A Mobility Calculus with Local and Dependent Types.

MLA

Middeldorp, Aart, et al. “A Mobility Calculus with Local and Dependent Types.” Processes, Terms & Cycles: Steps on the Road to Infinity, 2005, pp. 404–44. EBSCOhost, https://doi.org/10.1007/11601548_20.

APA

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

Chicago

Middeldorp, Aart, Vincent Oostrom, Femke Raamsdonk, Roel Vrijer, Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, and Rosario Pugliese. 2005. “A Mobility Calculus with Local and Dependent Types.” In Processes, Terms & Cycles: Steps on the Road to Infinity, 404–44. doi:10.1007/11601548_20.