著者

藤田 憲悦

出版者

一般社団法人 日本数学会

雑誌

数学 (ISSN:0039470X)

巻号頁・発行日

vol.66, no.1, pp.78-89, 2014-01-27 (Released:2017-04-13)

参考文献数

30

著者

藤田 憲悦

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.20, no.3, pp.285-291, 2003-05-23 (Released:2012-08-20)

---

カリー・ハワード同型を古典論理にまで拡張することにより,M.Parigotは古典論理の証明項を表現する体系としてλμ計算を導入した.本論文では,万能的な計算モデルの観点から,タイプフリーのλμ計算でもD. Scott流の外延的モデルが存在することを示す.そのために,(η)規則も妥当とするCPS変換を導入する.そして,D × D ≅ D ≅ [D → D]を満たす任意の領域Dから外延的λμモデルを構成する.さらに,合流性やC-monoidsとの興味深い関係についても論じる.