10 citations · 17 across the 4 of their papers we have counts for
1 paper · 1 filter
Luís Tarrataca, Andreas Wichert
Classical models of computation traditionally resort to halting schemes in order to enquire about the state of a computation. In such schemes, a computational process is responsibl…