Switch to: References

Add citations

You must login to add citations.
  1. On effectively discontinuous type-2 objects.Thomas J. Grilliot - 1971 - Journal of Symbolic Logic 36 (2):245-248.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Degrees of functionals.Dag Normann - 1979 - Annals of Mathematical Logic 16 (3):269.
    Download  
     
    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.
    Download  
     
    Export citation  
     
    Bookmark  
  • Selection in abstract recursion theory.L. A. Harrington & D. B. Macqueen - 1976 - Journal of Symbolic Logic 41 (1):153-158.
    Download  
     
    Export citation  
     
    Bookmark   1 citation