OXFORD LOGIC GUIDES Series Editors A.J. MACINTYRE D.S. SCOTT Emeritus Editors D.M. Gabbay John Shepherdson OXFORD LOGIC GUIDES For a full list of titles please visit http://www.oup.co.uk/academic/science/maths/series/OLG/ 21. C. McLarty: Elementary categories, elementary toposes 22. R.M. Smullyan: Recursion theory for metamathematics 23. Peter Clote and Jan Kraj´ıcek: Arithmetic, proof theory, an
What is Eta? Eta is a pure, lazy, strongly typed functional programming language on the JVM. It brings two big ecosystems, the JVM and Haskell, together. This allows you to harness the best of both ecosystems to build your applications quickly and effectively. Eta's concurrency support helps you to build highly scalable systems.
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く