Computations in higher types
Enregistré dans:
Auteur principal : | |
---|---|
Format : | Livre |
Langue : | anglais |
Titre complet : | Computations in higher types / Johan Moldestad |
Publié : |
Berlin, Heidelberg, New York :
Springer
, 1977 |
Description matérielle : | 1 vol. (203 p.) |
Collection : | Lecture notes in mathematics ; 574 |
Sujets : |
Bibliographie : | Bibliogr. p. [195]-196. Index |
---|---|
ISBN : | 0-387-08132-1 3-540-08132-1 |