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/
0002名無しさん@お腹いっぱい。
2006/08/20(日) 14:25:52ID:07TbwQ840読んでみる。
0003名無しさん@お腹いっぱい。
2006/08/22(火) 11:38:42ID:7GoE5hmv00004名無しさん@お腹いっぱい。
2006/08/24(木) 22:34:27ID:ODH9S1RA00005名無しさん@お腹いっぱい。
2006/09/07(木) 18:41:57ID:lBrqxSJF0■ このスレッドは過去ログ倉庫に格納されています