Categorical Semantics for Programming Languages
Main Authors: | , |
---|---|
Format: | Conference item |
Published: |
Springer
1989
|
_version_ | 1797058418495717376 |
---|---|
author | He, J Hoare, C |
author_facet | He, J Hoare, C |
author_sort | He, J |
collection | OXFORD |
description | |
first_indexed | 2024-03-06T19:50:16Z |
format | Conference item |
id | oxford-uuid:23b9dbfa-9f6c-46f2-949a-bd5a8cdb7222 |
institution | University of Oxford |
last_indexed | 2024-03-06T19:50:16Z |
publishDate | 1989 |
publisher | Springer |
record_format | dspace |
spelling | oxford-uuid:23b9dbfa-9f6c-46f2-949a-bd5a8cdb72222022-03-26T11:45:52ZCategorical Semantics for Programming LanguagesConference itemhttp://purl.org/coar/resource_type/c_5794uuid:23b9dbfa-9f6c-46f2-949a-bd5a8cdb7222Department of Computer ScienceSpringer1989He, JHoare, C |
spellingShingle | He, J Hoare, C Categorical Semantics for Programming Languages |
title | Categorical Semantics for Programming Languages |
title_full | Categorical Semantics for Programming Languages |
title_fullStr | Categorical Semantics for Programming Languages |
title_full_unstemmed | Categorical Semantics for Programming Languages |
title_short | Categorical Semantics for Programming Languages |
title_sort | categorical semantics for programming languages |
work_keys_str_mv | AT hej categoricalsemanticsforprogramminglanguages AT hoarec categoricalsemanticsforprogramminglanguages |