[FOM] TCAs with oracles

[Robert Lubarsky]

Does anybody have an example, the more natural the better, of a total
combinatory algebra that allows for oracle computation? I guess that would
mean that the algebra has to be total for any choice of oracle (although, of
course, the value returned might well depend on the oracle), even though I
would still be interested in other interpretations (for instance, total with
the empty oracle and with other oracles possibly partial).

 

Bob Lubarsky

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20141017/83cc3e55/attachment.html>