23 followers Repozitorij UL @RepozitorijUL Behavioural equivalence via modalities for algebraic effects https://t.co/Mu1AqkG82N 30 Apr 2019 Reply Repost Favourite