Proof and types - Girard Jean-Yves; Taylor Paul (Cambridge University Press, 1989)
Keywords: Mathematical logic; Proof theory