Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics. (English) Zbl 1527.68041
Staton, Sam (ed.), Proceedings of the 34th conference on the mathematical foundations of programming semantics (MFPS XXXIV), Dalhousie University, Halifax, Canada, June 6–9, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 341, 239-260 (2018).
