APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Girard, Jean-Yves, Paul Taylor, and Yves Lafont. Proofs and Types. Cambridge ; New York: Cambridge University Press, 1989.

MLA (9th ed.) Citation

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