27 citations · 47 across the 17 of their papers we have counts for
1 paper · 1 filter
Nikos Tzevelekos
Game semantics has been used with considerable success in formulating fully abstract semantics for languages with higher-order procedures and a wide range of computational effects.…