Research

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)
CreatorsPym, D. J.
DepartmentsFaculty of Science > Computer Science
RefereedNo
StatusPublished
ID Code5644

Export

Actions (login required)

View Item