APA (7th ed.) Citation

Girard, J. (1990). Proofs and types (Repr. with minor corr.). Cambridge Univ. Pr.

Chicago Style (17th ed.) Citation

Girard, Jean-Yves. Proofs and Types. Repr. with minor corr. Cambridge u.a: Cambridge Univ. Pr, 1990.

MLA (9th ed.) Citation

Girard, Jean-Yves. Proofs and Types. Repr. with minor corr. Cambridge Univ. Pr, 1990.

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