Matches in SemOpenAlex for { <https://semopenalex.org/work/W2145826701> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2145826701 abstract "We prove a completeness result for Multiplicative Exponential Linear Logic (MELL): we show that the relational model is injective for MELL proof-nets, i.e. the equality between MELL proof-nets in the relational model is exactly axiomatized by cut-elimination." @default.
- W2145826701 created "2016-06-24" @default.
- W2145826701 creator A5054692434 @default.
- W2145826701 date "2015-02-09" @default.
- W2145826701 modified "2023-09-27" @default.
- W2145826701 title "The relational model is injective for Multiplicative Exponential Linear Logic" @default.
- W2145826701 cites W124154939 @default.
- W2145826701 cites W1514726679 @default.
- W2145826701 cites W1525298231 @default.
- W2145826701 cites W1607374082 @default.
- W2145826701 cites W1615262499 @default.
- W2145826701 cites W161800829 @default.
- W2145826701 cites W1623703906 @default.
- W2145826701 cites W172933754 @default.
- W2145826701 cites W1965630431 @default.
- W2145826701 cites W2065246392 @default.
- W2145826701 cites W2081694512 @default.
- W2145826701 cites W2093561140 @default.
- W2145826701 cites W2106143913 @default.
- W2145826701 cites W2120392447 @default.
- W2145826701 cites W2128713292 @default.
- W2145826701 cites W2138520644 @default.
- W2145826701 cites W2166987761 @default.
- W2145826701 cites W2911865844 @default.
- W2145826701 hasPublicationYear "2015" @default.
- W2145826701 type Work @default.
- W2145826701 sameAs 2145826701 @default.
- W2145826701 citedByCount "0" @default.
- W2145826701 crossrefType "posted-content" @default.
- W2145826701 hasAuthorship W2145826701A5054692434 @default.
- W2145826701 hasConcept C118615104 @default.
- W2145826701 hasConcept C128107574 @default.
- W2145826701 hasConcept C134306372 @default.
- W2145826701 hasConcept C151376022 @default.
- W2145826701 hasConcept C17231256 @default.
- W2145826701 hasConcept C202444582 @default.
- W2145826701 hasConcept C23123220 @default.
- W2145826701 hasConcept C28077239 @default.
- W2145826701 hasConcept C33923547 @default.
- W2145826701 hasConcept C40207289 @default.
- W2145826701 hasConcept C41008148 @default.
- W2145826701 hasConcept C42747912 @default.
- W2145826701 hasConcept C5655090 @default.
- W2145826701 hasConceptScore W2145826701C118615104 @default.
- W2145826701 hasConceptScore W2145826701C128107574 @default.
- W2145826701 hasConceptScore W2145826701C134306372 @default.
- W2145826701 hasConceptScore W2145826701C151376022 @default.
- W2145826701 hasConceptScore W2145826701C17231256 @default.
- W2145826701 hasConceptScore W2145826701C202444582 @default.
- W2145826701 hasConceptScore W2145826701C23123220 @default.
- W2145826701 hasConceptScore W2145826701C28077239 @default.
- W2145826701 hasConceptScore W2145826701C33923547 @default.
- W2145826701 hasConceptScore W2145826701C40207289 @default.
- W2145826701 hasConceptScore W2145826701C41008148 @default.
- W2145826701 hasConceptScore W2145826701C42747912 @default.
- W2145826701 hasConceptScore W2145826701C5655090 @default.
- W2145826701 hasLocation W21458267011 @default.
- W2145826701 hasOpenAccess W2145826701 @default.
- W2145826701 hasPrimaryLocation W21458267011 @default.
- W2145826701 hasRelatedWork W1533076437 @default.
- W2145826701 hasRelatedWork W1596233210 @default.
- W2145826701 hasRelatedWork W1602903463 @default.
- W2145826701 hasRelatedWork W1740763414 @default.
- W2145826701 hasRelatedWork W1979324214 @default.
- W2145826701 hasRelatedWork W1998220929 @default.
- W2145826701 hasRelatedWork W2118097562 @default.
- W2145826701 hasRelatedWork W2205798497 @default.
- W2145826701 hasRelatedWork W2593738989 @default.
- W2145826701 hasRelatedWork W2606916197 @default.
- W2145826701 hasRelatedWork W2798338833 @default.
- W2145826701 hasRelatedWork W2884156601 @default.
- W2145826701 hasRelatedWork W2911874855 @default.
- W2145826701 hasRelatedWork W2952079152 @default.
- W2145826701 hasRelatedWork W2964244682 @default.
- W2145826701 hasRelatedWork W3003894521 @default.
- W2145826701 hasRelatedWork W3031132030 @default.
- W2145826701 hasRelatedWork W3146832245 @default.
- W2145826701 hasRelatedWork W3183674410 @default.
- W2145826701 hasRelatedWork W3194712697 @default.
- W2145826701 isParatext "false" @default.
- W2145826701 isRetracted "false" @default.
- W2145826701 magId "2145826701" @default.
- W2145826701 workType "article" @default.