TY - JOUR T1 - Kleisli, Parikh and Peleg compositions and liftings for multirelations JO - Journal of Logical and Algebraic Methods in Programming PY - 2016/02/01 AU - Furusawa H AU - Kawahara Y AU - Struth G AU - Tsumagari N ED - DO - DOI: 10.1016/j.jlamp.2017.04.002 PB - Elsevier BV VL - 90 SP - 84 EP - 101 Y2 - 2025/04/14 ER -