Moldestad, Johan <br/><br/>
Computations in higher types 
Johan Moldestad. -- 
 - Berlin  New York  Springer-Verlag  1977 
 - 203 p  24 cm. -- 
 - Lecture notes in mathematics  574 .
<br/><br/> Includes index 
<br/><br/><label>ISBN: </label>0387081321 
<br/><br/><label>LCCN: </label>77001375 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Recursive functions