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 ...
Vol. 43, No. 3, Varia with a Workshop on the Foundations of Partial Functions and Programming (Nov., 1995), pp. 321-338 (18 pages) An important perquisite for verification of the correctness of ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback