1 |
Algebraic effects and handlers for arrows / アローに対する代数的エフェクトとハンドラSanada, Takahiro 25 March 2024 (has links)
京都大学 / 新制・課程博士 / 博士(理学) / 甲第25094号 / 理博第5001号 / 新制||理||1714(附属図書館) / 京都大学大学院理学研究科数学・数理解析専攻 / (主査)教授 長谷川 真人, 教授 大木谷 耕司, 准教授 照井 一成 / 学位規則第4条第1項該当 / Doctor of Agricultural Science / Kyoto University / DFAM
|
Page generated in 0.054 seconds