[FOM] TCAs with oracles

Robert Lubarsky Lubarsky.Robert at comcast.net
Fri Oct 17 13:39:29 EDT 2014

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>

More information about the FOM mailing list