Proofs and Types [图书] 豆瓣 作者: Jean-Yves Girard / Yves Lafont … 出版社: Cambridge University Press 1989 - 4 pl
