A categorical model for the geometry of interaction
- 7 February 2006
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 350 (2-3) , 252-274
- https://doi.org/10.1016/j.tcs.2005.10.028
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Geometry of Interaction and linear combinatory algebrasMathematical Structures in Computer Science, 2002
- Unique decomposition categories, Geometry of Interaction and combinatory logicMathematical Structures in Computer Science, 2000
- Retracing some paths in process algebraLecture Notes in Computer Science, 1996
- Geometry of interaction III: accommodating the additivesPublished by Cambridge University Press (CUP) ,1995
- Proof-nets and the Hilbert spacePublished by Cambridge University Press (CUP) ,1995
- New Foundations for the Geometry of InteractionInformation and Computation, 1994
- Algebraically compact functorsJournal of Pure and Applied Algebra, 1992
- Geometry of interaction 2: Deadlock-free algorithmsLecture Notes in Computer Science, 1990
- Geometry of Interaction 1: Interpretation of System FPublished by Elsevier ,1989
- Towards a geometry of interactionContemporary Mathematics, 1989