Matches in SemOpenAlex for { <https://semopenalex.org/work/W2914651966> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2914651966 endingPage "41" @default.
- W2914651966 startingPage "24" @default.
- W2914651966 abstract "A uniqueness type system is used to distinguish values which are referenced at most once from values which may be referenced an arbitrary number of times in a program. Uniqueness type systems are used in the Clean and Mercury programming languages to provide efficiently updatable data-structures and I/O without compromising referential transparency. In this paper we establish a Curry–Howard–Lambek equivalence between a form of uniqueness types and a ‘resource-sensitive’ logic. This logic is similar to intuitionistic linear logic, however the ∘ modality, which moderates the structural rules in the antecedent in the same way as !, is introduced via the dual ? rules. We discuss the categorical proof theory and models of this new logic, as well as its computational interpretation." @default.
- W2914651966 created "2019-02-21" @default.
- W2914651966 creator A5053839427 @default.
- W2914651966 date "2006-03-01" @default.
- W2914651966 modified "2023-09-28" @default.
- W2914651966 title "Uniqueness logic" @default.
- W2914651966 cites W1859542606 @default.
- W2914651966 cites W1997143185 @default.
- W2914651966 cites W2008132476 @default.
- W2914651966 cites W2097509104 @default.
- W2914651966 cites W2116293853 @default.
- W2914651966 cites W2126021517 @default.
- W2914651966 cites W2142401116 @default.
- W2914651966 cites W2911865844 @default.
- W2914651966 doi "https://doi.org/10.1016/j.tcs.2005.11.006" @default.
- W2914651966 hasPublicationYear "2006" @default.
- W2914651966 type Work @default.
- W2914651966 sameAs 2914651966 @default.
- W2914651966 citedByCount "11" @default.
- W2914651966 countsByYear W29146519662012 @default.
- W2914651966 countsByYear W29146519662014 @default.
- W2914651966 countsByYear W29146519662021 @default.
- W2914651966 countsByYear W29146519662022 @default.
- W2914651966 crossrefType "journal-article" @default.
- W2914651966 hasAuthorship W2914651966A5053839427 @default.
- W2914651966 hasBestOaLocation W29146519661 @default.
- W2914651966 hasConcept C118615104 @default.
- W2914651966 hasConcept C134306372 @default.
- W2914651966 hasConcept C136119220 @default.
- W2914651966 hasConcept C178421362 @default.
- W2914651966 hasConcept C18903297 @default.
- W2914651966 hasConcept C199360897 @default.
- W2914651966 hasConcept C202444582 @default.
- W2914651966 hasConcept C2777021972 @default.
- W2914651966 hasConcept C2777299769 @default.
- W2914651966 hasConcept C2780069185 @default.
- W2914651966 hasConcept C28077239 @default.
- W2914651966 hasConcept C33923547 @default.
- W2914651966 hasConcept C41008148 @default.
- W2914651966 hasConcept C80444323 @default.
- W2914651966 hasConcept C86803240 @default.
- W2914651966 hasConcept C93682546 @default.
- W2914651966 hasConceptScore W2914651966C118615104 @default.
- W2914651966 hasConceptScore W2914651966C134306372 @default.
- W2914651966 hasConceptScore W2914651966C136119220 @default.
- W2914651966 hasConceptScore W2914651966C178421362 @default.
- W2914651966 hasConceptScore W2914651966C18903297 @default.
- W2914651966 hasConceptScore W2914651966C199360897 @default.
- W2914651966 hasConceptScore W2914651966C202444582 @default.
- W2914651966 hasConceptScore W2914651966C2777021972 @default.
- W2914651966 hasConceptScore W2914651966C2777299769 @default.
- W2914651966 hasConceptScore W2914651966C2780069185 @default.
- W2914651966 hasConceptScore W2914651966C28077239 @default.
- W2914651966 hasConceptScore W2914651966C33923547 @default.
- W2914651966 hasConceptScore W2914651966C41008148 @default.
- W2914651966 hasConceptScore W2914651966C80444323 @default.
- W2914651966 hasConceptScore W2914651966C86803240 @default.
- W2914651966 hasConceptScore W2914651966C93682546 @default.
- W2914651966 hasIssue "1" @default.
- W2914651966 hasLocation W29146519661 @default.
- W2914651966 hasOpenAccess W2914651966 @default.
- W2914651966 hasPrimaryLocation W29146519661 @default.
- W2914651966 hasRelatedWork W1031267077 @default.
- W2914651966 hasRelatedWork W1582416669 @default.
- W2914651966 hasRelatedWork W1766867734 @default.
- W2914651966 hasRelatedWork W1988755390 @default.
- W2914651966 hasRelatedWork W2022107723 @default.
- W2914651966 hasRelatedWork W2376287735 @default.
- W2914651966 hasRelatedWork W3095873045 @default.
- W2914651966 hasRelatedWork W3102072267 @default.
- W2914651966 hasRelatedWork W4297194799 @default.
- W2914651966 hasRelatedWork W1873592979 @default.
- W2914651966 hasVolume "354" @default.
- W2914651966 isParatext "false" @default.
- W2914651966 isRetracted "false" @default.
- W2914651966 magId "2914651966" @default.
- W2914651966 workType "article" @default.