Proofs and Types [Book] Douban author: Jean-Yves Girard / Yves Lafont … publishing house: 劍橋大學出版社 1989 - 4
