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