Ehrhard, T., Girard, J., Ruet, P., & Scott, P. (2004). Linear Logic in Computer Science. Cambridge University Press.
Cita Chicago Style (17a ed.)Ehrhard, Thomas, Jean-Yves Girard, Paul Ruet, y Philip Scott. Linear Logic in Computer Science. Cambridge: Cambridge University Press, 2004.
Cita MLA (8a ed.)Ehrhard, Thomas, et al. Linear Logic in Computer Science. Cambridge University Press, 2004.
Precaución: Estas citas no son 100% exactas.