Lifting theorems for Kleisli categories, in (1994)

by P S Mulry
Venue:Proc. 9th International Conference on Mathematical Foundations of Programming Semantics (MFPS 9), Lecture Notes in Computer Science 802