Реляционная семантика, ассоциированная алгебре эффектовдоклад на конференции