Matches in SemOpenAlex for { <https://semopenalex.org/work/W2965648770> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2965648770 endingPage "14" @default.
- W2965648770 startingPage "1" @default.
- W2965648770 abstract "We introduce a new form of logical relation which, in the spirit of metric relations, allows us to assign each pair of programs a quantity measuring their distance, rather than a boolean value standing for their being equivalent. The novelty of differential logical relations consists in measuring the distance between terms not (necessarily) by a numerical value, but by a mathematical object which somehow reflects the interactive complexity, i.e. the type, of the compared terms. We exemplify this concept in the simply-typed lambda-calculus, and show a form of soundness theorem. We also see how ordinary logical relations and metric relations can be seen as instances of differential logical relations. Finally, we show that differential logical relations can be organised in a cartesian closed category, contrarily to metric relations, which are well-known not to have such a structure, but only that of a monoidal closed category." @default.
- W2965648770 created "2019-08-13" @default.
- W2965648770 creator A5069536246 @default.
- W2965648770 creator A5081771854 @default.
- W2965648770 creator A5084450516 @default.
- W2965648770 date "2019-07-08" @default.
- W2965648770 modified "2023-09-23" @default.
- W2965648770 title "Differential logical relations, Part I: The simply-typed case" @default.
- W2965648770 doi "https://doi.org/10.4230/lipics.icalp.2019.111" @default.
- W2965648770 hasPublicationYear "2019" @default.
- W2965648770 type Work @default.
- W2965648770 sameAs 2965648770 @default.
- W2965648770 citedByCount "7" @default.
- W2965648770 countsByYear W29656487702021 @default.
- W2965648770 countsByYear W29656487702022 @default.
- W2965648770 countsByYear W29656487702023 @default.
- W2965648770 crossrefType "proceedings-article" @default.
- W2965648770 hasAuthorship W2965648770A5069536246 @default.
- W2965648770 hasAuthorship W2965648770A5081771854 @default.
- W2965648770 hasAuthorship W2965648770A5084450516 @default.
- W2965648770 hasConcept C11413529 @default.
- W2965648770 hasConcept C118615104 @default.
- W2965648770 hasConcept C127413603 @default.
- W2965648770 hasConcept C136119220 @default.
- W2965648770 hasConcept C146978453 @default.
- W2965648770 hasConcept C162324750 @default.
- W2965648770 hasConcept C171032842 @default.
- W2965648770 hasConcept C176217482 @default.
- W2965648770 hasConcept C199343813 @default.
- W2965648770 hasConcept C199360897 @default.
- W2965648770 hasConcept C202444582 @default.
- W2965648770 hasConcept C21547014 @default.
- W2965648770 hasConcept C21847791 @default.
- W2965648770 hasConcept C25343380 @default.
- W2965648770 hasConcept C2777686260 @default.
- W2965648770 hasConcept C33923547 @default.
- W2965648770 hasConcept C39920170 @default.
- W2965648770 hasConcept C41008148 @default.
- W2965648770 hasConcept C46274116 @default.
- W2965648770 hasConcept C56802139 @default.
- W2965648770 hasConcept C56949724 @default.
- W2965648770 hasConcept C65180967 @default.
- W2965648770 hasConcept C71924100 @default.
- W2965648770 hasConcept C77088390 @default.
- W2965648770 hasConcept C93226319 @default.
- W2965648770 hasConceptScore W2965648770C11413529 @default.
- W2965648770 hasConceptScore W2965648770C118615104 @default.
- W2965648770 hasConceptScore W2965648770C127413603 @default.
- W2965648770 hasConceptScore W2965648770C136119220 @default.
- W2965648770 hasConceptScore W2965648770C146978453 @default.
- W2965648770 hasConceptScore W2965648770C162324750 @default.
- W2965648770 hasConceptScore W2965648770C171032842 @default.
- W2965648770 hasConceptScore W2965648770C176217482 @default.
- W2965648770 hasConceptScore W2965648770C199343813 @default.
- W2965648770 hasConceptScore W2965648770C199360897 @default.
- W2965648770 hasConceptScore W2965648770C202444582 @default.
- W2965648770 hasConceptScore W2965648770C21547014 @default.
- W2965648770 hasConceptScore W2965648770C21847791 @default.
- W2965648770 hasConceptScore W2965648770C25343380 @default.
- W2965648770 hasConceptScore W2965648770C2777686260 @default.
- W2965648770 hasConceptScore W2965648770C33923547 @default.
- W2965648770 hasConceptScore W2965648770C39920170 @default.
- W2965648770 hasConceptScore W2965648770C41008148 @default.
- W2965648770 hasConceptScore W2965648770C46274116 @default.
- W2965648770 hasConceptScore W2965648770C56802139 @default.
- W2965648770 hasConceptScore W2965648770C56949724 @default.
- W2965648770 hasConceptScore W2965648770C65180967 @default.
- W2965648770 hasConceptScore W2965648770C71924100 @default.
- W2965648770 hasConceptScore W2965648770C77088390 @default.
- W2965648770 hasConceptScore W2965648770C93226319 @default.
- W2965648770 hasLocation W29656487701 @default.
- W2965648770 hasOpenAccess W2965648770 @default.
- W2965648770 hasPrimaryLocation W29656487701 @default.
- W2965648770 hasRelatedWork W1498388520 @default.
- W2965648770 hasRelatedWork W1578757654 @default.
- W2965648770 hasRelatedWork W1843730787 @default.
- W2965648770 hasRelatedWork W2079393871 @default.
- W2965648770 hasRelatedWork W2096172373 @default.
- W2965648770 hasRelatedWork W2144927799 @default.
- W2965648770 hasRelatedWork W2151814155 @default.
- W2965648770 hasRelatedWork W2182877775 @default.
- W2965648770 hasRelatedWork W2501968317 @default.
- W2965648770 hasRelatedWork W2528395280 @default.
- W2965648770 hasRelatedWork W257511924 @default.
- W2965648770 hasRelatedWork W2895700938 @default.
- W2965648770 hasRelatedWork W2903574931 @default.
- W2965648770 hasRelatedWork W2942341045 @default.
- W2965648770 hasRelatedWork W2949701584 @default.
- W2965648770 hasRelatedWork W2990660716 @default.
- W2965648770 hasRelatedWork W3098838906 @default.
- W2965648770 hasRelatedWork W3122035833 @default.
- W2965648770 hasRelatedWork W53027350 @default.
- W2965648770 hasRelatedWork W82615150 @default.
- W2965648770 hasVolume "132" @default.
- W2965648770 isParatext "false" @default.
- W2965648770 isRetracted "false" @default.
- W2965648770 magId "2965648770" @default.
- W2965648770 workType "article" @default.