On the Geometry of Interaction for Classical Logic

D J Pym

Research output: Contribution to conferencePaper

Original languageEnglish
Pages211-220
Number of pages10
Publication statusPublished - 2000
EventProceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS'04) - Volume 00 - Turku, Finland
Duration: 1 Jul 2004 → …

Conference

ConferenceProceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS'04) - Volume 00
CountryFinland
CityTurku
Period1/07/04 → …

Cite this

Pym, D. J. (2000). On the Geometry of Interaction for Classical Logic. 211-220. Paper presented at Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS'04) - Volume 00, Turku, Finland.