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 ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results