1 - 1 / 1 1 |
1. Behavioural equivalence via modalities for algebraic effects Alex Simpson, Niels Voorneveld, 2018, objavljeni znanstveni prispevek na konferenci Ključne besede: computer science, behavioural equivalence, call-by-value functional language, openness, decomposability |