A Relatively Complete Generic Hoare Logic for Order-Enriched Effects.

Sergey Goncharov, Lutz Schrder

Browse the full LICS paper archive.