Natural Transformations and Data Refinement
| Auteurs principaux: | , |
|---|---|
| Format: | Record |
| Publié: |
2015
|
| _version_ | 1826297026250276864 |
|---|---|
| author | Hoare, C He, J |
| author_facet | Hoare, C He, J |
| author_sort | Hoare, C |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T04:25:20Z |
| format | Record |
| id | oxford-uuid:cc6d01c8-ac14-4d70-a34e-a4769a68fff6 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T04:25:20Z |
| publishDate | 2015 |
| record_format | dspace |
| spelling | oxford-uuid:cc6d01c8-ac14-4d70-a34e-a4769a68fff62022-03-27T07:21:53ZNatural Transformations and Data RefinementRecordhttp://purl.org/coar/resource_type/c_1843uuid:cc6d01c8-ac14-4d70-a34e-a4769a68fff6Department of Computer Science2015Hoare, CHe, J |
| spellingShingle | Hoare, C He, J Natural Transformations and Data Refinement |
| title | Natural Transformations and Data Refinement |
| title_full | Natural Transformations and Data Refinement |
| title_fullStr | Natural Transformations and Data Refinement |
| title_full_unstemmed | Natural Transformations and Data Refinement |
| title_short | Natural Transformations and Data Refinement |
| title_sort | natural transformations and data refinement |
| work_keys_str_mv | AT hoarec naturaltransformationsanddatarefinement AT hej naturaltransformationsanddatarefinement |