Logic and categories as tools for building theories
<p style="text-align:justify;"> My aim in this short article is to provide an impression of some of the ideas emerging at the interface of logic and computer science, in a form which I hope will be accessible to philosophers </p>
| Autor principal: | |
|---|---|
| Formato: | Journal article |
| Publicado: |
Indian Council of Philosophical Research
2010
|
| _version_ | 1826291369990160384 |
|---|---|
| author | Abramsky, S |
| author_facet | Abramsky, S |
| author_sort | Abramsky, S |
| collection | OXFORD |
| description | <p style="text-align:justify;"> My aim in this short article is to provide an impression of some of the ideas emerging at the interface of logic and computer science, in a form which I hope will be accessible to philosophers </p> |
| first_indexed | 2024-03-07T02:58:22Z |
| format | Journal article |
| id | oxford-uuid:b019dfcc-fb68-447f-a82a-97f29a103ed8 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T02:58:22Z |
| publishDate | 2010 |
| publisher | Indian Council of Philosophical Research |
| record_format | dspace |
| spelling | oxford-uuid:b019dfcc-fb68-447f-a82a-97f29a103ed82022-03-27T03:53:59ZLogic and categories as tools for building theoriesJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:b019dfcc-fb68-447f-a82a-97f29a103ed8Symplectic Elements at OxfordIndian Council of Philosophical Research2010Abramsky, S <p style="text-align:justify;"> My aim in this short article is to provide an impression of some of the ideas emerging at the interface of logic and computer science, in a form which I hope will be accessible to philosophers </p> |
| spellingShingle | Abramsky, S Logic and categories as tools for building theories |
| title | Logic and categories as tools for building theories |
| title_full | Logic and categories as tools for building theories |
| title_fullStr | Logic and categories as tools for building theories |
| title_full_unstemmed | Logic and categories as tools for building theories |
| title_short | Logic and categories as tools for building theories |
| title_sort | logic and categories as tools for building theories |
| work_keys_str_mv | AT abramskys logicandcategoriesastoolsforbuildingtheories |