Moldestad, Johan,  1946- <br/><br/>
Computations in higher types / 
Johan Moldestad. 
 - Berlin ;  New York :  Springer-Verlag,  1977. 
 - 203 p. ;  25 cm. 
 - Lecture notes in mathematics / Ed. by A. Dold, B. Eckmann  574 .
 - Lecture notes in mathematics (Springer-Verlag) ;  574. .
<br/><br/> Includes index.  Bibliogr.: p. [195]-196. 
<br/><br/><label>ISBN: </label>0387081321 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Recursive functions