Matches in SemOpenAlex for { <https://semopenalex.org/work/W4384302133> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W4384302133 abstract "We extend to general cartesian categories the idea of Coherent Differentiation recently introduced by Ehrhard in the setting of categorical models of Linear Logic. The first ingredient is a summability structure which induces a partial left-additive structure on the category. Additional functoriality and naturality assumptions on this summability structure implement a differential calculus which can also be presented in a formalism close to Blute, Cockett and Seely’s cartesian differential categories. We show that a simple term language equipped with a natural notion of differentiation can easily be interpreted in such a category." @default.
- W4384302133 created "2023-07-15" @default.
- W4384302133 creator A5030912992 @default.
- W4384302133 creator A5092470187 @default.
- W4384302133 date "2023-06-26" @default.
- W4384302133 modified "2023-09-27" @default.
- W4384302133 title "Cartesian Coherent Differential Categories" @default.
- W4384302133 cites W1975166962 @default.
- W4384302133 cites W1991966579 @default.
- W4384302133 cites W1997143185 @default.
- W4384302133 cites W2017778827 @default.
- W4384302133 cites W2052577206 @default.
- W4384302133 cites W2088376608 @default.
- W4384302133 cites W2089549471 @default.
- W4384302133 cites W2102548545 @default.
- W4384302133 cites W2108070223 @default.
- W4384302133 cites W2588203302 @default.
- W4384302133 cites W2799180001 @default.
- W4384302133 cites W2911865844 @default.
- W4384302133 cites W2913248536 @default.
- W4384302133 cites W2955927958 @default.
- W4384302133 cites W3100884494 @default.
- W4384302133 doi "https://doi.org/10.1109/lics56636.2023.10175717" @default.
- W4384302133 hasPublicationYear "2023" @default.
- W4384302133 type Work @default.
- W4384302133 citedByCount "0" @default.
- W4384302133 crossrefType "proceedings-article" @default.
- W4384302133 hasAuthorship W4384302133A5030912992 @default.
- W4384302133 hasAuthorship W4384302133A5092470187 @default.
- W4384302133 hasBestOaLocation W43843021332 @default.
- W4384302133 hasConcept C105795698 @default.
- W4384302133 hasConcept C108710211 @default.
- W4384302133 hasConcept C118615104 @default.
- W4384302133 hasConcept C121332964 @default.
- W4384302133 hasConcept C136119220 @default.
- W4384302133 hasConcept C142362112 @default.
- W4384302133 hasConcept C153349607 @default.
- W4384302133 hasConcept C16038011 @default.
- W4384302133 hasConcept C171032842 @default.
- W4384302133 hasConcept C199343813 @default.
- W4384302133 hasConcept C202444582 @default.
- W4384302133 hasConcept C2524010 @default.
- W4384302133 hasConcept C2777686260 @default.
- W4384302133 hasConcept C28077239 @default.
- W4384302133 hasConcept C33923547 @default.
- W4384302133 hasConcept C5274069 @default.
- W4384302133 hasConcept C54884031 @default.
- W4384302133 hasConcept C558565934 @default.
- W4384302133 hasConcept C56802139 @default.
- W4384302133 hasConcept C65236422 @default.
- W4384302133 hasConcept C65880906 @default.
- W4384302133 hasConcept C71924100 @default.
- W4384302133 hasConcept C73301696 @default.
- W4384302133 hasConcept C93226319 @default.
- W4384302133 hasConcept C97355855 @default.
- W4384302133 hasConceptScore W4384302133C105795698 @default.
- W4384302133 hasConceptScore W4384302133C108710211 @default.
- W4384302133 hasConceptScore W4384302133C118615104 @default.
- W4384302133 hasConceptScore W4384302133C121332964 @default.
- W4384302133 hasConceptScore W4384302133C136119220 @default.
- W4384302133 hasConceptScore W4384302133C142362112 @default.
- W4384302133 hasConceptScore W4384302133C153349607 @default.
- W4384302133 hasConceptScore W4384302133C16038011 @default.
- W4384302133 hasConceptScore W4384302133C171032842 @default.
- W4384302133 hasConceptScore W4384302133C199343813 @default.
- W4384302133 hasConceptScore W4384302133C202444582 @default.
- W4384302133 hasConceptScore W4384302133C2524010 @default.
- W4384302133 hasConceptScore W4384302133C2777686260 @default.
- W4384302133 hasConceptScore W4384302133C28077239 @default.
- W4384302133 hasConceptScore W4384302133C33923547 @default.
- W4384302133 hasConceptScore W4384302133C5274069 @default.
- W4384302133 hasConceptScore W4384302133C54884031 @default.
- W4384302133 hasConceptScore W4384302133C558565934 @default.
- W4384302133 hasConceptScore W4384302133C56802139 @default.
- W4384302133 hasConceptScore W4384302133C65236422 @default.
- W4384302133 hasConceptScore W4384302133C65880906 @default.
- W4384302133 hasConceptScore W4384302133C71924100 @default.
- W4384302133 hasConceptScore W4384302133C73301696 @default.
- W4384302133 hasConceptScore W4384302133C93226319 @default.
- W4384302133 hasConceptScore W4384302133C97355855 @default.
- W4384302133 hasLocation W43843021331 @default.
- W4384302133 hasLocation W43843021332 @default.
- W4384302133 hasLocation W43843021333 @default.
- W4384302133 hasLocation W43843021334 @default.
- W4384302133 hasOpenAccess W4384302133 @default.
- W4384302133 hasPrimaryLocation W43843021331 @default.
- W4384302133 hasRelatedWork W2096172373 @default.
- W4384302133 hasRelatedWork W2800408996 @default.
- W4384302133 hasRelatedWork W2949420300 @default.
- W4384302133 hasRelatedWork W3035662493 @default.
- W4384302133 hasRelatedWork W3190270398 @default.
- W4384302133 hasRelatedWork W4287026984 @default.
- W4384302133 hasRelatedWork W4294217135 @default.
- W4384302133 hasRelatedWork W4324297464 @default.
- W4384302133 hasRelatedWork W4384302133 @default.
- W4384302133 hasRelatedWork W99374129 @default.
- W4384302133 isParatext "false" @default.
- W4384302133 isRetracted "false" @default.
- W4384302133 workType "article" @default.