This is a preview. Log in through your library . Abstract A type-structure of partial effective functionals over the natural numbers, based on a canonical enumeration of the partial recursive ...
We extend the priority method in α-recursion theory to certain arguments with no a priori bound on the required preservations by proving the splitting theorem for all admissible α. THEOREM: Let C be a ...
De Freitas, J., K. A. Thomas, P. DeScioli, and S. Pinker. "The Strategic Bystander: Recursive Theory of Mind and Common Knowledge in Decisions to Help." Paper presented at the 27th Human Behavior and ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results