文献

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)

抄録/ポイント： 多重関係は二種類の二種類の非決定性のを含む計算システムのための意味論的領域を提供した。Kleisli,Parikh及びPeleg組成の関係formalisationsおよび多重関係のリフティングを提示した。これらのリフティングであるべき集合モナドのKleisliカテゴリーで生じるものと類似していた。多重関係のKleisli組成は連想ことを示したが,単位を持つ必要はない。Parikh組成は会合でも単位を有しない可能性があるが,閉じた多重関係のサブクラスにカテゴリーを得た。最後に,Peleg組成は単位を持っているが,連想である必要はない多重関係した癒合閉じた場合カテゴリーが得られた。Copyright 2018 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： *多重化 ,  意味論 ,  計算機システム ,  非決定性
準シソーラス用語： モナド , 【Automatic Indexing@JST】

著者キーワード (4件)： 多重関係の代数 ,  多重関係のリフティング ,  多重関係の組成の結合性 ,  関係計算

分類 (1件)： 人工知能  (JE08000Z)

タイトルに関連する用語 (3件)： 組成 ,  多重 ,  リフティング