Computations in higher types /
41
| Main Author: | |
|---|---|
| Format: | |
| Published: |
Berlin : Springer,
1977
|
| Subjects: |
| _version_ | 1826426026093182976 |
|---|---|
| author | 430417 Moldestad, Johan |
| author_facet | 430417 Moldestad, Johan |
| author_sort | 430417 Moldestad, Johan |
| collection | OCEAN |
| description | 41 |
| first_indexed | 2024-03-05T05:54:50Z |
| format | |
| id | KOHA-OAI-TEST:348425 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| last_indexed | 2024-03-05T05:54:50Z |
| publishDate | 1977 |
| publisher | Berlin : Springer, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:3484252020-12-19T17:12:02ZComputations in higher types / 430417 Moldestad, Johan Berlin : Springer,197741PSZJBLRecursive functionsURN:ISBN:3540081321 |
| spellingShingle | Recursive functions 430417 Moldestad, Johan Computations in higher types / |
| title | Computations in higher types / |
| title_full | Computations in higher types / |
| title_fullStr | Computations in higher types / |
| title_full_unstemmed | Computations in higher types / |
| title_short | Computations in higher types / |
| title_sort | computations in higher types |
| topic | Recursive functions |
| work_keys_str_mv | AT 430417moldestadjohan computationsinhighertypes |