Switch to: References

Citations of:

Selection functions for recursive functionals

Thomas J. Grilliot

Notre Dame Journal of Formal Logic 10 (3):225-234 (1969)

Add citations

You must login to add citations.

Degrees of functionals.Dag Normann - 1979 - Annals of Mathematical Logic 16 (3):269.details Computability in Philosophy of Computing and Information Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark
Equivalence of some definitions of recursion in a higher type object.F. Lowenthal - 1976 - Journal of Symbolic Logic 41 (2):427-435.details Logic and Philosophy of Logic Direct download (8 more) Export citation Bookmark
Selection in abstract recursion theory.L. A. Harrington & D. B. Macqueen - 1976 - Journal of Symbolic Logic 41 (1):153-158.details Logic and Philosophy of Logic Direct download (8 more) Export citation Bookmark 1 citation
On effectively discontinuous type-2 objects.Thomas J. Grilliot - 1971 - Journal of Symbolic Logic 36 (2):245-248.details Logic and Philosophy of Logic Direct download (8 more) Export citation Bookmark 3 citations

1