Algebraic approaches to program semantics
Algebraic approaches to program semantics
Theoretical Computer Science
The semantics and proof theory of linear logic
Theoretical Computer Science
Computational lambda-calculus and monads
Proceedings of the Fourth Annual Symposium on Logic in computer science
Categories, types, and structures: an introduction to category theory for the working computer scientist
The geometry of optimal lambda reduction
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Terminal coalgebras in well-founded set theory
Theoretical Computer Science
Iteration theories: the equational logic of iterative processes
Iteration theories: the equational logic of iterative processes
New foundations for the geometry of interaction
Information and Computation
MFPS '92 Selected papers of the conference on Meeting on the mathematical foundations of programming semantics, part I : linear logic: linear logic
Games and full completeness for multiplicative linear logic
Journal of Symbolic Logic
Proof-nets and the Hilbert space
Proceedings of the workshop on Advances in linear logic
Geometry of interaction III: accommodating the additives
Proceedings of the workshop on Advances in linear logic
Basic simple type theory
Information and Computation
Network Algebra
What is a Categorical Model of Intuitionistic Linear Logic?
TLCA '95 Proceedings of the Second International Conference on Typed Lambda Calculi and Applications
Geometry of interaction 2: deadlock-free algorithms
COLOG '88 Proceedings of the International Conference on Computer Logic
Retracting Some Paths in Process Algebra
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science
Concurrent Games and Full Completeness
LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science
Unique decomposition categories, Geometry of Interaction and combinatory logic
Mathematical Structures in Computer Science
Partially additive categories and fully complete models of linear logic
TLCA'01 Proceedings of the 5th international conference on Typed lambda calculi and applications
Sequentiality vs. concurrency in games and logic
Mathematical Structures in Computer Science
A structural approach to reversible computation
Theoretical Computer Science
A categorical model for the geometry of interaction
Theoretical Computer Science - Automata, languages and programming: Logic and semantics (ICALP-B 2004)
Mathematical Structures in Computer Science
Conformal Field Theory as a Nuclear Functor
Electronic Notes in Theoretical Computer Science (ENTCS)
A type assignment system for game semantics
Theoretical Computer Science
Attribute Grammars and Categorical Semantics
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Electronic Notes in Theoretical Computer Science (ENTCS)
Theoretical Computer Science
On traced monoidal closed categories
Mathematical Structures in Computer Science
From Geometry of Interaction to Denotational Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
On Reversible Combinatory Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
A categorical approach to quantum algorithm
MATH'09 Proceedings of the 14th WSEAS International Conference on Applied mathematics
Quantum circuit oracles for Abstract Machine computations
Theoretical Computer Science
Towards a typed geometry of interaction
Mathematical Structures in Computer Science
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a geometry of recursion
Theoretical Computer Science
Traces for coalgebraic components
Mathematical Structures in Computer Science
The geometry and algebra of commitment
Ludics, dialogue and interaction
A modified GoI interpretation for a linear functional programming language and its adequacy
FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures: part of the joint European conferences on theory and practice of software
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II
Space-Efficient computation by interaction
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Reduction in a linear lambda-calculus with applications to operational semantics
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
Abstract scalars, loops, and free traced and strongly compact closed categories
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Towards a typed geometry of interaction
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Functional programming in sublinear space
ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
Computation-by-Interaction with effects
APLAS'11 Proceedings of the 9th Asian conference on Programming Languages and Systems
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
A Representation Theorem for Unique Decomposition Categories
Electronic Notes in Theoretical Computer Science (ENTCS)
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
Identities in modular arithmetic from reversible coherence operations
RC'13 Proceedings of the 5th international conference on Reversible Computation
| Hi-index | 0.00 |
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.