FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2962743500> ?p ?o ?g. }

• W2962743500 endingPage "1060" @default.
• W2962743500 startingPage "995" @default.
• W2962743500 abstract "Differential linear logic enriches linear logic with additional logical rules for the exponential connectives, dual to the usual rules of dereliction, weakening and contraction. We present a proof-net syntax for differential linear logic and a categorical axiomatization of its denotational models. We also introduce a simple categorical condition on these models under which a general antiderivative operation becomes available. Last, we briefly describe the model of sets and relations and give a more detailed account of the model of finiteness spaces and linear and continuous functions." @default.
• W2962743500 created "2019-07-30" @default.
• W2962743500 creator A5006888140 @default.
• W2962743500 date "2017-02-09" @default.
• W2962743500 modified "2023-10-18" @default.
• W2962743500 title "An introduction to differential linear logic: proof-nets, models and antiderivatives" @default.
• W2962743500 cites W1483865853 @default.
• W2962743500 cites W1581049135 @default.
• W2962743500 cites W1605806361 @default.
• W2962743500 cites W2004553747 @default.
• W2962743500 cites W2007411063 @default.
• W2962743500 cites W2012968289 @default.
• W2962743500 cites W2027591072 @default.
• W2962743500 cites W2030587281 @default.
• W2962743500 cites W2040871029 @default.
• W2962743500 cites W2053791527 @default.
• W2962743500 cites W2054969282 @default.
• W2962743500 cites W2072411754 @default.
• W2962743500 cites W2076596727 @default.
• W2962743500 cites W2088376608 @default.
• W2962743500 cites W2120713972 @default.
• W2962743500 cites W2129432931 @default.
• W2962743500 cites W2148814023 @default.
• W2962743500 cites W2151097168 @default.
• W2962743500 cites W2158526928 @default.
• W2962743500 cites W2911865844 @default.
• W2962743500 cites W2911874855 @default.
• W2962743500 cites W2913248536 @default.
• W2962743500 doi "https://doi.org/10.1017/s0960129516000372" @default.
• W2962743500 hasPublicationYear "2017" @default.
• W2962743500 type Work @default.
• W2962743500 sameAs 2962743500 @default.
• W2962743500 citedByCount "42" @default.
• W2962743500 countsByYear W29627435002017 @default.
• W2962743500 countsByYear W29627435002018 @default.
• W2962743500 countsByYear W29627435002019 @default.
• W2962743500 countsByYear W29627435002020 @default.
• W2962743500 countsByYear W29627435002021 @default.
• W2962743500 countsByYear W29627435002022 @default.
• W2962743500 countsByYear W29627435002023 @default.
• W2962743500 crossrefType "journal-article" @default.
• W2962743500 hasAuthorship W2962743500A5006888140 @default.
• W2962743500 hasBestOaLocation W29627435003 @default.
• W2962743500 hasConcept C102993220 @default.
• W2962743500 hasConcept C105795698 @default.
• W2962743500 hasConcept C108710211 @default.
• W2962743500 hasConcept C11413529 @default.
• W2962743500 hasConcept C118615104 @default.
• W2962743500 hasConcept C126322002 @default.
• W2962743500 hasConcept C127413603 @default.
• W2962743500 hasConcept C136119220 @default.
• W2962743500 hasConcept C144760519 @default.
• W2962743500 hasConcept C146978453 @default.
• W2962743500 hasConcept C163415756 @default.
• W2962743500 hasConcept C169896238 @default.
• W2962743500 hasConcept C199343813 @default.
• W2962743500 hasConcept C202444582 @default.
• W2962743500 hasConcept C2318724 @default.
• W2962743500 hasConcept C2524010 @default.
• W2962743500 hasConcept C2777686260 @default.
• W2962743500 hasConcept C28077239 @default.
• W2962743500 hasConcept C33923547 @default.
• W2962743500 hasConcept C41008148 @default.
• W2962743500 hasConcept C4777664 @default.
• W2962743500 hasConcept C5274069 @default.
• W2962743500 hasConcept C71924100 @default.
• W2962743500 hasConcept C80444323 @default.
• W2962743500 hasConcept C93226319 @default.
• W2962743500 hasConceptScore W2962743500C102993220 @default.
• W2962743500 hasConceptScore W2962743500C105795698 @default.
• W2962743500 hasConceptScore W2962743500C108710211 @default.
• W2962743500 hasConceptScore W2962743500C11413529 @default.
• W2962743500 hasConceptScore W2962743500C118615104 @default.
• W2962743500 hasConceptScore W2962743500C126322002 @default.
• W2962743500 hasConceptScore W2962743500C127413603 @default.
• W2962743500 hasConceptScore W2962743500C136119220 @default.
• W2962743500 hasConceptScore W2962743500C144760519 @default.
• W2962743500 hasConceptScore W2962743500C146978453 @default.
• W2962743500 hasConceptScore W2962743500C163415756 @default.
• W2962743500 hasConceptScore W2962743500C169896238 @default.
• W2962743500 hasConceptScore W2962743500C199343813 @default.
• W2962743500 hasConceptScore W2962743500C202444582 @default.
• W2962743500 hasConceptScore W2962743500C2318724 @default.
• W2962743500 hasConceptScore W2962743500C2524010 @default.
• W2962743500 hasConceptScore W2962743500C2777686260 @default.
• W2962743500 hasConceptScore W2962743500C28077239 @default.
• W2962743500 hasConceptScore W2962743500C33923547 @default.
• W2962743500 hasConceptScore W2962743500C41008148 @default.
• W2962743500 hasConceptScore W2962743500C4777664 @default.
• W2962743500 hasConceptScore W2962743500C5274069 @default.
• W2962743500 hasConceptScore W2962743500C71924100 @default.
• W2962743500 hasConceptScore W2962743500C80444323 @default.
• W2962743500 hasConceptScore W2962743500C93226319 @default.
• W2962743500 hasIssue "7" @default.
• W2962743500 hasLocation W29627435001 @default.
• W2962743500 hasLocation W29627435002 @default.
• W2962743500 hasLocation W29627435003 @default.
• W2962743500 hasLocation W29627435004 @default.

• next