| _version_ |
1797095173720637440
|
| author |
Hoare, C
|
| author_facet |
Hoare, C
|
| author_sort |
Hoare, C
|
| collection |
OXFORD
|
| description |
|
| first_indexed |
2024-03-07T04:24:06Z
|
| format |
Record
|
| id |
oxford-uuid:cc0744d4-def7-4c7b-8ab5-48ea6807743e
|
| institution |
University of Oxford
|
| last_indexed |
2024-03-07T04:24:06Z
|
| publishDate |
1987
|
| record_format |
dspace
|
| spelling |
oxford-uuid:cc0744d4-def7-4c7b-8ab5-48ea6807743e2022-03-27T07:18:56ZData Refinement in a Categorical SettingRecordhttp://purl.org/coar/resource_type/c_1843uuid:cc0744d4-def7-4c7b-8ab5-48ea6807743eDepartment of Computer Science1987Hoare, C
|
| spellingShingle |
Hoare, C
Data Refinement in a Categorical Setting
|
| title |
Data Refinement in a Categorical Setting
|
| title_full |
Data Refinement in a Categorical Setting
|
| title_fullStr |
Data Refinement in a Categorical Setting
|
| title_full_unstemmed |
Data Refinement in a Categorical Setting
|
| title_short |
Data Refinement in a Categorical Setting
|
| title_sort |
data refinement in a categorical setting
|
| work_keys_str_mv |
AT hoarec datarefinementinacategoricalsetting
|