Computations in higher types /

41

Bibliographic Details
Main Author: 430417 Moldestad, Johan
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