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:7GoE5hmv0
(*´∀`)ノ dpoマンセー
0004名無しさん@お腹いっぱい。2006/08/24(木) 22:34:27ID:ODH9S1RA0
('A`)ポツーン
0005名無しさん@お腹いっぱい。2006/09/07(木) 18:41:57ID:lBrqxSJF0
xxx
■ このスレッドは過去ログ倉庫に格納されています