02096nam 2200565 450 99646666340331620220908200906.03-540-37425-610.1007/BFb0087822(CKB)1000000000438228(SSID)ssj0000322060(PQKBManifestationID)12064915(PQKBTitleCode)TC0000322060(PQKBWorkID)10281156(PQKB)10475895(DE-He213)978-3-540-37425-1(MiAaPQ)EBC5594655(Au-PeEL)EBL5594655(OCoLC)1076259059(MiAaPQ)EBC6842303(Au-PeEL)EBL6842303(PPN)155214160(EXLCZ)99100000000043822820220908d1977 uy 0engurnn|008mamaatxtccrComputations in higher types /J. Moldestad1st ed. 1977.Berlin, Germany :Springer,[1977]©19771 online resource (VIII, 208 p.) Lecture Notes in Mathematics,0075-8434 ;574Bibliographic Level Mode of Issuance: Monograph3-540-08132-1 Abstract -- The computation domain -- Recursion on ? -- Connection with Kleene recursion in higher types -- Recursion in normal lists on ? -- Kleene recursion in normal objects of type n+2, n>0 -- Computation theories on ? -- Abstract Kleene theories -- Normal computation theories on ? -- More about Mahloness -- Calculation of the lengths of some computations -- Gaps -- On platek: “Foundations of recursion theory” -- A final comment concerning the two types.Lecture Notes in Mathematics,0075-8434 ;574Recursive functionsRecursive functions.511.352Moldestad Johan1946-48583MiAaPQMiAaPQMiAaPQBOOK996466663403316Computations in higher types80729UNISA