著者
藤田 憲悦
出版者
日本ソフトウェア科学会
雑誌
コンピュータ ソフトウェア (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との興味深い関係についても論じる.

言及状況

外部データベース (DOI)

Twitter (11 users, 13 posts, 22 favorites)

なう ぶらうじんぐ…: λμ計算のモデルについて: https://t.co/lIXFuMrrRu
https://t.co/ZlYe2XRsiA
島根大学の人なのか。へー。 >> "λμ計算のモデルについて 藤田 憲悦1) 1) 島根大学総合理工学部数理情報システム学科" https://t.co/pnDhroyCDO

収集済み URL リスト