Global ETD Search

About
The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

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 algebraic effect effect handler arrow promonad categorical semantics 400