Computations in higher types
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Livre papier |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin ; Heidelberg ; New York :
Springer
1977.
|
| Schriftenreihe: | Lecture notes in mathematics
574 |
| Schlagworte: | |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Computations in higher types, Johan Moldestad, 201X, Berlin [etc.], Springer, Lecture Notes in Mathematics, 978-3-540-37425-1 |