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
Country/TerritoryFinland
CityTurku
Period1/07/04 → …

Cite this