APA (7th ed.) Citation

Girard, J. (1989). Proofs and types (1. publ.). Cambridge Univ. Pr.

Chicago Style (17th ed.) Citation

Girard, Jean-Yves. Proofs and Types. 1. publ. Cambridge u.a: Cambridge Univ. Pr, 1989.

MLA (9th ed.) Citation

Girard, Jean-Yves. Proofs and Types. 1. publ. Cambridge Univ. Pr, 1989.

Warning: These citations may not always be 100% accurate.