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 |