Lifting of operations in modular monadic semantics

@inproceedings{Jaskelioff2009LiftingOO,
  title={Lifting of operations in modular monadic semantics},
  author={Mauro Javier Jaskelioff},
  year={2009}
}