Lifting theorems for Kleisli categories (1993)

by Philip S Mulry
Venue:Mathematical Foundations of Programming Semantics, 9th International Conference