Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

AuthorMoldestad, Johan. author
TitleComputations in Higher Types [electronic resource] / by Johan Moldestad
ImprintBerlin, Heidelberg : Springer Berlin Heidelberg, 1977
Connect tohttp://dx.doi.org/10.1007/BFb0087822
Descript VIII, 208 p. online resource

CONTENT

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: โ{128}{156}Foundations of recursion theoryโ{128}{157} -- A final comment concerning the two types


Mathematics Mathematics Mathematics general



Location



Office of Academic Resources, Chulalongkorn University, Phayathai Rd. Pathumwan Bangkok 10330 Thailand

Contact Us

Tel. 0-2218-2929,
0-2218-2927 (Library Service)
0-2218-2903 (Administrative Division)
Fax. 0-2215-3617, 0-2218-2907

Social Network

  line

facebook   instragram