Talk:Concurrency with oracles

From HaskellWiki
Revision as of 05:05, 18 March 2021 by Atravers (talk | contribs) (Noted added references)

Jump to: navigation, search

(unknown): Someone can add a reference here; I'm too lazy right now to do so.

Atravers 05:02, 18 March 2021‎: (references finally added)

(unknown): I think we could equivalently assume a given oracle not only stores the prediction about the computations and events it's going to be applied to, but also a couple of additional oracles. Thus the same kind of thing can function for the origial idea of an oracle and as the infinite binary tree of oracles that seems to come in handy.