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  - 2024/12/25

ER  -