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 ...
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 ...