Girard, J. (1989). Proofs and types (1. publ.). Cambridge Univ. Pr.
Chicago-Zitierstil (17. Ausg.)Girard, Jean-Yves. Proofs and Types. 1. publ. Cambridge u.a: Cambridge Univ. Pr, 1989.
MLA-Zitierstil (9. Ausg.)Girard, Jean-Yves. Proofs and Types. 1. publ. Cambridge Univ. Pr, 1989.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.