|
== 文献 ==
''おそらく今日の領域理論についての書籍で最も勧められるもののひとつであり、基本的理論の多くの部分に非常に明確で詳細な視点を与えている :''
*: <span lang="en">G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, and D. S. Scott, ''Continuous Lattices and Domains'', In ''Encyclopedia of Mathematics and its Applications'', Vol. 93, Cambridge University Press, 2003. ISBN 0-521-80338-1</span>
''領域理論の標準的な文献であり、無償でオンラインで手に入れられる :''
*: <span lang="en">S. Abramsky, A. Jung: ''Domain theory''. In S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, vol. III. Oxford University Press, 1994. (ISBN 0-19-853762-X) (download [http://www.cs.bham.ac.uk/~axj/pub/papers/handy1.pdf PDF] [http://www.cs.bham.ac.uk/~axj/pub/papers/handy1.ps.gz PS.GZ])</span>
''スコットの古典的論文のひとつ :''
*: <span lang="en">D. S. Scott. ''Data types as lattices''. In G. Muller ''et al.'', editors, Proceedings of the International Summer Institute and Logic Colloquium, Kiel, volume 499 of ''Lecture Notes in Mathematics'', pages 579-651, Springer-Verlag, 1975.</span>
''順序理論の一般的で読みやすい説明であり、領域理論の入門も含まれている :''
*: <span lang="en">B. A. Davey and H. A. Priestley, ''Introduction to Lattices and Order'', 2nd edition, Cambridge University Press, 2002. ISBN 0-521-78451-4</span>
{{DEFAULTSORT:りよういきろん}}
|
