Girard, J., Lafont, Y., & Taylor, P. D. (1990). Proofs and types. Cambridge University Press.
Chicago Style (17th ed.) CitationGirard, Jean-Yves, Yves Lafont, and Paul D. Taylor. Proofs and Types. Cambridge: Cambridge University Press, 1990.
MLA (9th ed.) CitationGirard, Jean-Yves, et al. Proofs and Types. Cambridge University Press, 1990.
Warning: These citations may not always be 100% accurate.