日々の流転

λ. A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Preliminary Report) by P. N. Benton

を読んだ。

Haskellのセマンティクスについて色々と作業しているうちに、(pointed) ω-cpo と連続関数の圏だけでなく正格な連続関数に制限した圏も同時に考える必要があることと、領域理論的な構成は線形論理のそれに似ているということには気づいたのだけど、そこから先は自分ではいまいち整理できていなかった。でも、この論文の前半を読んで領域理論と線形論理の関係がようやくすっきりした。

• <URL:http://citeseer.ist.psu.edu/benton94mixed.html>
• <URL:http://www.citeulike.org/user/msakai/article/889958>

λ. Re: 高市早苗

ほぇ、高市早苗ってそんなことを過去にしてたのね。知らなかった。

面白そうなので、Wikipediaの安倍内閣の頁から色々と読んでみる。