Relating computational effects by \(\top \top \)-lifting
scientific article; zbMATH DE number 6171330