ダウンロード数: 9
このアイテムのファイル:
| ファイル | 記述 | サイズ | フォーマット | |
|---|---|---|---|---|
| drigk05001.pdf | Dissertation_全文 | 429.86 kB | Adobe PDF | 見る/開く |
| yrigk05001.pdf | Abstract_要旨 | 142.39 kB | Adobe PDF | 見る/開く |
| タイトル: | Algebraic effects and handlers for arrows |
| その他のタイトル: | アローに対する代数的エフェクトとハンドラ |
| 著者: | Sanada, Takahiro |
| キーワード: | algebraic effect effect handler arrow promonad categorical semantics |
| 発行日: | 25-Mar-2024 |
| 出版者: | Kyoto University |
| 学位授与大学: | 京都大学 |
| 学位の種類: | 新制・課程博士 |
| 取得分野: | 博士(理学) |
| 報告番号: | 甲第25094号 |
| 学位記番号: | 理博第5001号 |
| 学位授与年月日: | 2024-03-25 |
| 研究科・専攻: | 京都大学大学院理学研究科数学・数理解析専攻 |
| 論文調査委員: | (主査)教授 長谷川 真人, 教授 大木谷 耕司, 准教授 照井 一成 |
| 学位授与の要件: | 学位規則第4条第1項該当 |
| DOI: | 10.14989/doctor.k25094 |
| URI: | http://hdl.handle.net/2433/288528 |
| 出現コレクション: | 050 博士(理学) |
このリポジトリに保管されているアイテムはすべて著作権により保護されています。