Trích dẫn APA

Girard, J. (1989). Proofs and types. Cambridge University Press.

Trích dẫn kiểu Chicago

Girard, Jean-Yves. Proofs and Types. Cambridge [England] ; New York: Cambridge University Press, 1989.

Trích dẫn MLA

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

Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.