Proofs and types - Girard, Jean-Yves 1947- (Cambridge Univ. Pr., 1990)