Proofs and types - Girard, Jean-Yves (Instituto de Estudios Financieros, 1990)