APA (7th ed.) Citation

Girard, J., Lafont, Y., & Taylor, P. D. (1990). Proofs and types. Cambridge University Press.

Chicago Style (17th ed.) Citation

Girard, Jean-Yves, Yves Lafont, and Paul D. Taylor. Proofs and Types. Cambridge: Cambridge University Press, 1990.

MLA (9th ed.) Citation

Girard, Jean-Yves, et al. Proofs and Types. Cambridge University Press, 1990.