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>
| Main Author: | |
|---|---|
| Format: | Journal article |
| Published: |
Indian Council of Philosophical Research
2010
|
| Summary: | <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> |
|---|