Musings around the geometry of interaction, and coherence
type: Item
instance of: scholarly article
title: Musings around the geometry of interaction, and coherence
zbMATH Open document ID: 1222.03066
author: Jean Goubault-Larrecq
published in: Theoretical Computer Science
publication date: 2011-05-10T00:00:00Z
Mathematics Subject Classification ID: 03F52
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03G30
zbMATH DE Number: 5886385
zbMATH Keywords: geometry of interaction
zbMATH Keywords: linear logic
zbMATH Keywords: inverse monoid
zbMATH Keywords: \(*\)-autonomous category
zbMATH Keywords: coherence completion
MaRDI profile type: Publication
full work available at URL: j.tcs.2010.12.023
OpenAlex ID: W2044312499
cites work: Retracing some paths in process algebra
cites work: A structural approach to reversible computation
cites work: Full abstraction for PCF
cites work: *-Autonomous categories and linear logic
cites work: Q4474834
cites work: Q3024825
cites work: Q5287527
cites work: Bistructures, bidomains and linear logic
cites work: Q4362911
cites work: Reversible, irreversible and optimal \(\lambda\)-machines
cites work: A syntactic theory of sequential control
cites work: Q3824307
cites work: Q3203017
cites work: Q4842981
cites work: Q3994895
cites work: A categorical model for the geometry of interaction
cites work: Strict deterministic grammars
cites work: Coherence completions of categories
cites work: Traced monoidal categories
cites work: Coherence for compact closed categories
cites work: Q2778827
cites work: Petri nets, event structures and domains. I
cites work: A relation for general and inverse semigroups.
cites work: Objects and classes in Algol-like languages
cites work: A topological approach to inverse and regular semigroups.
DOI: 10.1016/J.TCS.2010.12.023
description: scientific article; zbMATH DE number 5886385