Searching for "Adequacy for Algebraic Effects." – sorted by Relevance.
-
Adequacy for algebraic effects
- A Logic for Algebraic Effects Gordon Plotkin ∗ Matija Pretnar † gdp@(email omitted); matija
- Cited by 20 (14 self) – Add To MetaCart

