Proofs and Types
豆瓣
ISBN: 9780521371810
作者:
Jean-Yves Girard
/
Yves Lafont
/
Paul Taylor
出版社:
劍橋大學出版社
發行時間: 1989
-4
叢書: Cambridge Tracts in Theoretical Computer Science
價格: USD 49.95
頁數: 192
Jean-Yves Girard / Yves Lafont …
簡介
暫無內容。