Concurrent Clean : Linear Logic

そういえば、Cleanの一意性は、Linear Logicと関連があるんでした。すっかり忘れてました。
http://www.nerimadors.or.jp/~kando/TITECH/Monad/Monad.html#_Toc458212904
Linear Logicに関しては、Phlip Walderさんの論文が参考になると、池田さんのリンク集にあるので、Linear Logic関連の論文を２つほど、会社で印刷してきました。
http://homepages.inf.ed.ac.uk/wadler/
って、読む時間あるんかいな・・・