7 citations · 25 across the 13 of their papers we have counts for
1 paper · 1 filter
Antonio Bucciarelli
We consider a simple model of higher order, functional computation over the booleans. Then, we enrich the model in order to encompass non-termination and unrecoverable errors, take…