Proofs and types /
Girard, Jean-Yves.
Cambridge : Cambridge University Press,
1989.