Musings around the geometry of interaction, and coherence (Q534708): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03F52 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03B70 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03G30 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5886385 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
geometry of interaction | |||
Property / zbMATH Keywords: geometry of interaction / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
linear logic | |||
Property / zbMATH Keywords: linear logic / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
inverse monoid | |||
Property / zbMATH Keywords: inverse monoid / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(*\)-autonomous category | |||
Property / zbMATH Keywords: \(*\)-autonomous category / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
coherence completion | |||
Property / zbMATH Keywords: coherence completion / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.tcs.2010.12.023 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2044312499 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Retracing some paths in process algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A structural approach to reversible computation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Full abstraction for PCF / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: *-Autonomous categories and linear logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4474834 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3024825 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5287527 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bistructures, bidomains and linear logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4362911 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Reversible, irreversible and optimal \(\lambda\)-machines / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A syntactic theory of sequential control / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3824307 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3203017 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4842981 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3994895 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Musings around the geometry of interaction, and coherence / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A categorical model for the geometry of interaction / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Strict deterministic grammars / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Coherence completions of categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Traced monoidal categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Coherence for compact closed categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2778827 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Petri nets, event structures and domains. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A relation for general and inverse semigroups. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Objects and classes in Algol-like languages / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A topological approach to inverse and regular semigroups. / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 00:28, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Musings around the geometry of interaction, and coherence |
scientific article |
Statements
Musings around the geometry of interaction, and coherence (English)
0 references
10 May 2011
0 references
geometry of interaction
0 references
linear logic
0 references
inverse monoid
0 references
\(*\)-autonomous category
0 references
coherence completion
0 references