5 citations · 15 across the 7 of their papers we have counts for
1 paper · 2 filters
Marcel Jackson, Tim Stokes
We study the algebraic theory of computable functions, which can be viewed as arising from possibly non-halting computer programs or algorithms, acting on some state space, equippe…