2 citations · 2 across the 1 of their papers we have counts for
1 paper
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…