Skip to content

Behavioural Equivalence via Modalities for Algebraic Effects.

Alex Simpson, Niels F. W. Voorneveld

VenueAESOP
Year2018
ProceedingsESOP

Browse the full ESOP paper archive.