Furusawa, Hitoshi; Kawahara, Yasuo; Struth, Georg; Tsumagari, Norihiro Kleisli, Parikh and Peleg compositions and liftings for multirelations. (English) Zbl 1371.68171 J. Log. Algebr. Methods Program. 90, 84-101 (2017). MSC: 68Q55 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Tsumagari, Norihiro; Furusawa, Hitoshi; Kawahara, Yasuo Relations into algebras of probabilistic distributions. (English) Zbl 1434.68339 J. Log. Algebr. Methods Program. 83, No. 2, 263-283 (2014). MSC: 68Q87 03G15 68Q55 × Cite Format Result Cite Review PDF Full Text: DOI