On the Geometry of Interaction for Classical Logic
Reference:
Pym, D. J., 2000. On the Geometry of Interaction for Classical Logic. In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS'04) - Volume 00, 2004-07-01, Turku.
Related documents:
This repository does not currently have the full-text of this item.You may be able to access a copy if URLs are provided below.
Details
| Item Type | Conference or Workshop Items (Paper) |
| Creators | Pym, D. J. |
| Departments | Faculty of Science > Computer Science |
| Refereed | No |
| Status | Published |
| ID Code | 5644 |
Export
Actions (login required)
| View Item |
