A categorical model for the geometry of interaction (Q817846)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 5013340
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A categorical model for the geometry of interaction |
scientific article; zbMATH DE number 5013340 |
Statements
A categorical model for the geometry of interaction (English)
0 references
20 March 2006
0 references
geometry of interaction
0 references
traced monoidal categories
0 references
linear logic
0 references
partially additive categories
0 references
unique decomposition categories
0 references
0.9993488788604736
0 references
0.867904782295227
0 references
0.8645296692848206
0 references
0.8445655107498169
0 references
0.8403299450874329
0 references
