Hostname: page-component-74656f9884-c52kr Total loading time: 0 Render date: 2026-11-09T06:03:13.649Z Has data issue: false hasContentIssue false

Geometry of Interaction and linear combinatory algebras

Published online by Cambridge University Press:  24 October 2002

SAMSON ABRAMSKY
Affiliation:
Oxford University Computing Laboratory, Oxford, U.K.
ESFANDIAR HAGHVERDI
Affiliation:
Department of Mathematics, University of Pennsylvania, Philadelphia, PA., U.S.A.
PHILIP SCOTT
Affiliation:
Department of Mathematics and Statistics, University of Ottawa, Ottawa, Ontario, Canada
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

We present an axiomatic framework for Girard's Geometry of Interaction based on the notion of linear combinatory algebra. We give a general construction on traced monoidal categories, with certain additional structure, that is sufficient to capture the exponentials of Linear Logic, which produces such algebras (and hence also ordinary combinatory algebras). We illustrate the construction on six standard examples, representing both the ‘particle-style’ as well as the ‘wave-style’ Geometry of Interaction.

Information

Type
Research Article
Copyright
2002 Cambridge University Press