7 citations · 45 across the 22 of their papers we have counts for
1 paper · 2 filters
Olle Fredriksson, Dan R. Ghica
We define new abstract machines for game semantics which correspond to networks of conventional computers, and can be used as an intermediate representation for compilation targeti…