J. Moldestad

Computations in Higher Types - 1977 - Heidelberg Springer Berlin 1977 - Monograph - Lecture Notes in Mathematics v.574 .

9783540374251


Mathematics and Statistics