1 citations · 2 across the 14 of their papers we have counts for
1 paper · 1 filter
Norihiro Yamada
In the previous work, we have given a novel, game-semantic model of computation in an intrinsic, non-inductive and non-axiomatic manner, which is similar to Turing machines but bey…