TY  - BOOK
AU  - Moldestad, Johan
AU  - 
TI  - Computations in higher types
T2  - Lecture Notes in Mathematics, No.0574
U1  - R  LNM.0574 
PY  - 1977///
CY  - Springer-Verlag, Berlin
KW  - Lecture Notes in Mathematics
ER  -