Lecture notes in mathematics no 574: computations in higher types - Moldestad, J (springer verlag New York, 1977)
Keywords: Mathematics