カツマタ シンヤ   KATSUMATA SHINYA
  勝股 審也
   所属   京都産業大学  理学部 数理科学科
   職種   教授
言語種別 英語
発行・発表の年月 2021
形態種別 研究論文(国際会議プロシーディングス)
査読 査読あり
標題 Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras
執筆形態 共著
掲載誌名 Proceedings of CONCUR, LIPIcs
掲載区分国外
出版社・発行元 Schloss Dagstuhl - Leibniz-Zentrum für Informatik
巻・号・頁 203,pp.0.8756944444444444-0.8902777777777777
著者・共著者 Mayuko Kori, Ichiro Hasuo, Shin-ya Katsumata