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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results