https://conf.researchr.org/details/etaps-2019/fossacs-2019-papers/5/A-Sound-and-Complete-Logic-for-Algebraic-Effects
A Sound and Complete Logic for Algebraic Effects (FOSSACS 2019) - ETAPS 2019
FoSSaCS seeks original papers on foundational research with a clear significance for software science. The conference invites submissions on theories and...
a soundcompletelogic