■

• Timothy G. Griffin　　“A Formulae-as-Types Notion of Control,”　in: Proceedings of the Seventeenth ACM/SIGACT-SIGPLAN Symposium on Principles of Programming Languages, 1990
• Morten Heine Sorensen and Pawel Urzyczyn　　Lectures on the Curry-howard Isomorphism, Elsevier, Studies in Logic and the Foundations of Mathematics, vol. 149, 2006
• 大堀淳　　『プログラミング言語の基礎理論』、情報数学講座 9、共立出版、1997年、まえがき、目次、第１章

二つ目の文献は、昨日注文したばかりの本。Net でも電子版として無料で入手可能なので確保。Print 版は Print 版で後日購入・入手しておこう。

布団の上で横になりながら、以下の本の初めの辺りをつらつらと読書していると、面白いことが書いてある。ただし substructural logic の本質にかかわるような話ではない。

• Francesco Paoli　　Substructural Logics: A Primer, Kluwer Academic Publishers, Trends in Logic, vol. 13, 2002

また可能ならば、後日そのことを記しておこう。
おやすみなさい。