00963nam a22002655i 4500991002170449707536cr nn 008mamaa121227s1977 gw | s |||| 0|eng d9783540374251b14132254-39ule_instBibl. Dip.le Aggr. Matematica e Fisica - Sez. Matematicaeng51023Moldestad, Johan48583Computations in Higher types[e-book] /by Johan MoldestadBerlin :Springer,19771 online resource (203 p.)Lecture Notes in Mathematics,0075-8434 ;574MathematicsSpringer eBookshttp://dx.doi.org/10.1007/BFb0087822An electronic book accessible through the World Wide Web.b1413225403-03-2205-09-13991002170449707536Computations in higher types80729UNISALENTOle01305-09-13m@ -enggw 00