Domain Theory 領域理論
■ このスレッドは過去ログ倉庫に格納されています
0001名無しさん@お腹いっぱい。
2006/08/20(日) 01:20:24ID:e/mSkzNf0とりあえず教科書的なテキスト:
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.
Available from: ttp://www.cs.bham.ac.uk/~axj/papers.html
G. Plotkin: Domains. Unpublished lecture notes, dept. of Computer Science, Univ. of Edinburgh,
1983. Available from: ttp://homepages.inf.ed.ac.uk/gdp/publications/
■ このスレッドは過去ログ倉庫に格納されています