Matches in SemOpenAlex for { <https://semopenalex.org/work/W2965038853> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2965038853 abstract "We prove coherence theorems for Frobenius pseudomonoids and snakeorators inmonoidal bicategories. As a consequence we obtain a 3d notation for proofs innonsymmetric multiplicative linear logic, with a geometrical notion ofequivalence, and without the need for a global correctness criterion orthinning links. We argue that traditional proof nets are the 2d projections ofthese 3d diagrams." @default.
- W2965038853 created "2019-08-13" @default.
- W2965038853 creator A5003132892 @default.
- W2965038853 creator A5017943933 @default.
- W2965038853 date "2019-07-26" @default.
- W2965038853 modified "2023-10-17" @default.
- W2965038853 title "Coherence for Frobenius pseudomonoids and the geometry of linear proofs" @default.
- W2965038853 hasPublicationYear "2019" @default.
- W2965038853 type Work @default.
- W2965038853 sameAs 2965038853 @default.
- W2965038853 citedByCount "1" @default.
- W2965038853 countsByYear W29650388532021 @default.
- W2965038853 crossrefType "journal-article" @default.
- W2965038853 hasAuthorship W2965038853A5003132892 @default.
- W2965038853 hasAuthorship W2965038853A5017943933 @default.
- W2965038853 hasConcept C105795698 @default.
- W2965038853 hasConcept C108710211 @default.
- W2965038853 hasConcept C11413529 @default.
- W2965038853 hasConcept C118615104 @default.
- W2965038853 hasConcept C134306372 @default.
- W2965038853 hasConcept C136119220 @default.
- W2965038853 hasConcept C202444582 @default.
- W2965038853 hasConcept C2524010 @default.
- W2965038853 hasConcept C2780069185 @default.
- W2965038853 hasConcept C2781181686 @default.
- W2965038853 hasConcept C28077239 @default.
- W2965038853 hasConcept C33923547 @default.
- W2965038853 hasConcept C42747912 @default.
- W2965038853 hasConcept C45357846 @default.
- W2965038853 hasConcept C55439883 @default.
- W2965038853 hasConcept C94375191 @default.
- W2965038853 hasConceptScore W2965038853C105795698 @default.
- W2965038853 hasConceptScore W2965038853C108710211 @default.
- W2965038853 hasConceptScore W2965038853C11413529 @default.
- W2965038853 hasConceptScore W2965038853C118615104 @default.
- W2965038853 hasConceptScore W2965038853C134306372 @default.
- W2965038853 hasConceptScore W2965038853C136119220 @default.
- W2965038853 hasConceptScore W2965038853C202444582 @default.
- W2965038853 hasConceptScore W2965038853C2524010 @default.
- W2965038853 hasConceptScore W2965038853C2780069185 @default.
- W2965038853 hasConceptScore W2965038853C2781181686 @default.
- W2965038853 hasConceptScore W2965038853C28077239 @default.
- W2965038853 hasConceptScore W2965038853C33923547 @default.
- W2965038853 hasConceptScore W2965038853C42747912 @default.
- W2965038853 hasConceptScore W2965038853C45357846 @default.
- W2965038853 hasConceptScore W2965038853C55439883 @default.
- W2965038853 hasConceptScore W2965038853C94375191 @default.
- W2965038853 hasLocation W29650388531 @default.
- W2965038853 hasOpenAccess W2965038853 @default.
- W2965038853 hasPrimaryLocation W29650388531 @default.
- W2965038853 hasRelatedWork W1549844007 @default.
- W2965038853 hasRelatedWork W1601373259 @default.
- W2965038853 hasRelatedWork W1606211906 @default.
- W2965038853 hasRelatedWork W1842417814 @default.
- W2965038853 hasRelatedWork W1979324214 @default.
- W2965038853 hasRelatedWork W2046881047 @default.
- W2965038853 hasRelatedWork W2112971523 @default.
- W2965038853 hasRelatedWork W2122253298 @default.
- W2965038853 hasRelatedWork W2293138805 @default.
- W2965038853 hasRelatedWork W2606916197 @default.
- W2965038853 hasRelatedWork W2734014807 @default.
- W2965038853 hasRelatedWork W2743305380 @default.
- W2965038853 hasRelatedWork W2911874855 @default.
- W2965038853 hasRelatedWork W3031132030 @default.
- W2965038853 hasRelatedWork W3091815692 @default.
- W2965038853 hasRelatedWork W3098060485 @default.
- W2965038853 hasRelatedWork W3098961381 @default.
- W2965038853 hasRelatedWork W3102035782 @default.
- W2965038853 hasRelatedWork W617635387 @default.
- W2965038853 hasRelatedWork W2432577492 @default.
- W2965038853 hasVolume "15" @default.
- W2965038853 isParatext "false" @default.
- W2965038853 isRetracted "false" @default.
- W2965038853 magId "2965038853" @default.
- W2965038853 workType "article" @default.