Algebraic approaches to program semantics
Algebraic approaches to program semantics
New foundations for the geometry of interaction
Information and Computation
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
Network Algebra
Quantum computation and quantum information
Quantum computation and quantum information
Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi
TLCA '97 Proceedings of the Third 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
Glueing and orthogonality for models of linear logic
Theoretical Computer Science - Category theory and computer science
A categorical framework for finite state machines
Mathematical Structures in Computer Science
Geometry of Interaction and linear combinatory algebras
Mathematical Structures in Computer Science
Unique decomposition categories, Geometry of Interaction and combinatory logic
Mathematical Structures in Computer Science
A relational model of non-deterministic dataflow
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
Electronic Notes in Theoretical Computer Science (ENTCS)
Theoretical Computer Science
On traced monoidal closed categories
Mathematical Structures in Computer Science
An Explicit Framework for Interaction Nets
RTA '09 Proceedings of the 20th International Conference on Rewriting Techniques and Applications
Quantum circuit oracles for Abstract Machine computations
Theoretical Computer Science
Towards a typed geometry of interaction
Mathematical Structures in Computer Science
Quantum Logic in Dagger Kernel Categories
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a geometry of recursion
Theoretical Computer Science
Musings around the geometry of interaction, and coherence
Theoretical Computer Science
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
Towards a typed geometry of interaction
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
A Representation Theorem for Unique Decomposition Categories
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a geometry of interaction (GoI) semantics for it based on unique decomposition categories. We prove a soundness and finiteness theorem for this interpretation. We show that Girard's original approach to GoI 1 via operator algebras is exactly captured in this categorical framework.