Computations in higher types
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
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