Proof, language, and interaction essays in honour of Robin Milner

Proof, language, and interaction essays in honour of Robin Milner

書誌詳細
その他の著者: Plotkin, Gordon (編集者), Stirling, Colin P. (編集者), Tofte, Mads (編集者)
フォーマット: Electronic Resource
言語:English
出版事項: Cambridge, Massachusetts The MIT Press [2000]
主題:
Computer science.
Electronic books.
オンライン･アクセス:https://ieeexplore-ieee-org.ezproxy.engglib.upd.edu.ph/book/6267426
https://ieeexplore.ieee.org/book/6267426