Moldestad, Johan

Computations in higher types Johan Moldestad. -- - Berlin New York Springer-Verlag 1977 - 203 p 24 cm. -- - Lecture notes in mathematics 574 .

Includes index

0387081321

77001375


Recursive functions