Proof and types - Lafont Yves; Taylor Paul (Cambridge CUP, 1989)
Keywords: Proof theory