48 citations · 321 across the 68 of their papers we have counts for
1 paper · 2 filters
Ugo Dal Lago, Francesco Gavazzo
We investigate program equivalence for linear higher-order(sequential) languages endowed with primitives for computational effects. More specifically, we study operationally-based…