このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

［参照用 記事］

P. Katis, N. Sabadini, R. F. C. Waltersの論文

雑記／備忘

先ほどアップロードした記事内で：

"Bicategories .."のほうは CiteSeer.ISTで入手できると思いますが、"Feedback, .."は、最近探したら無料では入手困難のようです。


次はCiteSeerで入手できます。


"Feedback, trace and fixed-point semantics"は見あたりませんね。が、同じタイトルのスライドがあります→http://cometa.dimi.uniud.it/meetings/kickoff/walters.pdf 。