| _version_ |
1826270849518272512
|
| author |
Abramsky, S
|
| author_facet |
Abramsky, S
|
| author_sort |
Abramsky, S
|
| collection |
OXFORD
|
| description |
|
| first_indexed |
2024-03-06T21:47:17Z
|
| format |
Conference item
|
| id |
oxford-uuid:4a07dfa9-ff6a-41f5-901b-83e98d14c2c6
|
| institution |
University of Oxford
|
| last_indexed |
2024-03-06T21:47:17Z
|
| publishDate |
1990
|
| record_format |
dspace
|
| spelling |
oxford-uuid:4a07dfa9-ff6a-41f5-901b-83e98d14c2c62022-03-26T15:35:14ZAbstract Interpretation‚ Logical Relations and Kan ExtensionsConference itemhttp://purl.org/coar/resource_type/c_5794uuid:4a07dfa9-ff6a-41f5-901b-83e98d14c2c6Department of Computer Science1990Abramsky, S
|
| spellingShingle |
Abramsky, S
Abstract Interpretation‚ Logical Relations and Kan Extensions
|
| title |
Abstract Interpretation‚ Logical Relations and Kan Extensions
|
| title_full |
Abstract Interpretation‚ Logical Relations and Kan Extensions
|
| title_fullStr |
Abstract Interpretation‚ Logical Relations and Kan Extensions
|
| title_full_unstemmed |
Abstract Interpretation‚ Logical Relations and Kan Extensions
|
| title_short |
Abstract Interpretation‚ Logical Relations and Kan Extensions
|
| title_sort |
abstract interpretation logical relations and kan extensions
|
| work_keys_str_mv |
AT abramskys abstractinterpretationlogicalrelationsandkanextensions
|