Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics (Electronic Notes in Theoretical Computer Science, 2018)

(untitled) - Kammar, O; McDermott, D