Higher order operational techniques in semantics

書誌事項

Higher order operational techniques in semantics

edited by Andrew D. Gordon and Andrew M. Pitts

(Publications of the Newton Institute, 12)

Cambridge University Press, c1998

大学図書館所蔵 件 / 27

この図書・雑誌をさがす

注記

Articles which develop many of the themes introduced at the workshop on Higher Order Operational Techniques in Semantics (HOOTS) that took place in Oct. 1995 as part of a six-month programme on semantics of computation at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK

Logo on t.p.: HOOTS

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ