文献
J-GLOBAL ID:201802220388784595
整理番号:18A0340210
Kleisli,ParikhとPeleg組成および多重関係のためのリフティング【Powered by NICT】
Kleisli, Parikh and Peleg compositions and liftings for multirelations
著者 (4件):
Furusawa Hitoshi
(Department of Mathematics and Computer Science, Kagoshima University, Japan)
,
Kawahara Yasuo
(Kyushu University, Japan)
,
Struth Georg
(Department of Computer Science, The University of Sheffield, United Kingdom)
,
Tsumagari Norihiro
(Center for Education and Innovation, Sojo University, Japan)
資料名:
Journal of Logical and Algebraic Methods in Programming
(Journal of Logical and Algebraic Methods in Programming)
巻:
90
ページ:
84-101
発行年:
2017年
JST資料番号:
W1593A
ISSN:
2352-2208
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)