Proofs and Types
豆瓣
ISBN: 9780521371810
作者:
Jean-Yves Girard
/
Yves Lafont
/
Paul Taylor
出版社:
Cambridge University Press
发行时间: 1989
-4
丛书: Cambridge Tracts in Theoretical Computer Science
装订: Hardcover
价格: USD 49.95
页数: 192
Jean-Yves Girard / Yves Lafont …
简介
暂无内容。