Kleisli, Parikh and Peleg Compositions and Liftings for Multirelations.

Hitoshi Furusawa Yasuo Kawahara Georg Struth Norihiro Tsumagari

Published in: CoRR (2017)

Keyphrases

domain independent