Proofs and Types

作者: Jean-Yves Girard / Yves Lafont / Paul Taylor
出版社: Cambridge University Press
出版年: 1989-4-28
页数: 192
定价: USD 49.95
装帧: Hardcover
丛书: Cambridge Tracts in Theoretical Computer Science
ISBN: 9780521371810