01054nam a2200313 i 450099100077588970753620020507173431.0961210s1977 de ||| | eng 3540081321b10755573-39ule_instLE01302132ExLDip.to Matematicaeng511.3AMS 03DMoldestad, Johan48583Computations in higher types /Johan MoldestadBerlin :Springer-Verlag,1977203 p. ;25 cmLecture notes in mathematics,0075-8434 ;574Bibliography: p. [195]-196Includes indexRecursion theoryRecursive functions.b1075557323-02-1728-06-02991000775889707536LE013 03D MOL11 (1977)12013000067308le013-E0.00-l- 02020.i1084981628-06-02Computations in higher types80729UNISALENTOle01301-01-96ma -engde 01