Proofs and types - Girard, Jean-Yves; Taylor, Paul; Lafont, Yves ([Madrid] Instituto de Estudios Financieros, 1990)
Keywords: Cálculo; Lengua y lógica; Lógica matemática