ダウンロード数: 42
このアイテムのファイル:
ファイル | 記述 | サイズ | フォーマット | |
---|---|---|---|---|
2193-07.pdf | 3.39 MB | Adobe PDF | 見る/開く |
タイトル: | Continuations and Polymorphic Lambek Calculus (Logic, Language, Algebraic system and Related Areas in Computer Science) |
著者: | Taniguchi, Masaya |
著者名の別形: | 谷口, 雅弥 |
発行日: | Jul-2021 |
出版者: | 京都大学数理解析研究所 |
誌名: | 数理解析研究所講究録 |
巻: | 2193 |
開始ページ: | 35 |
終了ページ: | 42 |
抄録: | We introduced the notion of continuation in lambda calculus for Lambek calculus and showed that the continuation-passing style transformation could be naturally derived from the rules of Lambek calculus. Furthermore, since the answer category of a continuation is given when the whole sentence is determined, we introduced a polymorphic category and generalized the continuation-passing style transformation in the polymorphic Lambek calculus. |
URI: | http://hdl.handle.net/2433/265702 |
出現コレクション: | 2193 論理・言語・代数系と計算機科学の周辺領域 |
このリポジトリに保管されているアイテムはすべて著作権により保護されています。