Paul Taylor — Author (1)

Book

Proofs and Types

Douban

Jean-Yves Girard / Yves Lafont … publishing house: 劍橋大學出版社 1989 - 4