Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100033612> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2100033612 endingPage "685" @default.
- W2100033612 startingPage "655" @default.
- W2100033612 abstract "We introduce a system of linear dependent types, extended with quantifiers that ensure separation between distinct bound variables. Such variables may be interpreted as resources that can be accessed only locally. The main motivation for this system, is to make more manageable the logic encoding of specification formalisms based on graphs and state-transition models. The proof system is based on a sequent calculus presentation of quantified intuitionistic linear logic, relying on double-entry sequents. We prove the admissibility of cut, and show that this result can be used to prove subject reduction." @default.
- W2100033612 created "2016-06-24" @default.
- W2100033612 creator A5069353768 @default.
- W2100033612 date "2012-06-12" @default.
- W2100033612 modified "2023-09-26" @default.
- W2100033612 title "Linear Types and Locality" @default.
- W2100033612 cites W1986402635 @default.
- W2100033612 cites W1989969984 @default.
- W2100033612 cites W2008132476 @default.
- W2100033612 cites W2012968289 @default.
- W2100033612 cites W2073222985 @default.
- W2100033612 cites W2086571520 @default.
- W2100033612 cites W2104204098 @default.
- W2100033612 cites W2111587608 @default.
- W2100033612 cites W2132761501 @default.
- W2100033612 cites W3181070739 @default.
- W2100033612 doi "https://doi.org/10.1093/logcom/exs026" @default.
- W2100033612 hasPublicationYear "2012" @default.
- W2100033612 type Work @default.
- W2100033612 sameAs 2100033612 @default.
- W2100033612 citedByCount "0" @default.
- W2100033612 crossrefType "journal-article" @default.
- W2100033612 hasAuthorship W2100033612A5069353768 @default.
- W2100033612 hasConcept C102993220 @default.
- W2100033612 hasConcept C108710211 @default.
- W2100033612 hasConcept C110039528 @default.
- W2100033612 hasConcept C111335779 @default.
- W2100033612 hasConcept C111404639 @default.
- W2100033612 hasConcept C11413529 @default.
- W2100033612 hasConcept C118615104 @default.
- W2100033612 hasConcept C138885662 @default.
- W2100033612 hasConcept C171018156 @default.
- W2100033612 hasConcept C199343813 @default.
- W2100033612 hasConcept C203659156 @default.
- W2100033612 hasConcept C2524010 @default.
- W2100033612 hasConcept C2777686260 @default.
- W2100033612 hasConcept C2779808786 @default.
- W2100033612 hasConcept C28077239 @default.
- W2100033612 hasConcept C33923547 @default.
- W2100033612 hasConcept C41008148 @default.
- W2100033612 hasConcept C41895202 @default.
- W2100033612 hasConcept C6489637 @default.
- W2100033612 hasConcept C65880906 @default.
- W2100033612 hasConcept C71924100 @default.
- W2100033612 hasConcept C80444323 @default.
- W2100033612 hasConcept C80467683 @default.
- W2100033612 hasConcept C89421646 @default.
- W2100033612 hasConceptScore W2100033612C102993220 @default.
- W2100033612 hasConceptScore W2100033612C108710211 @default.
- W2100033612 hasConceptScore W2100033612C110039528 @default.
- W2100033612 hasConceptScore W2100033612C111335779 @default.
- W2100033612 hasConceptScore W2100033612C111404639 @default.
- W2100033612 hasConceptScore W2100033612C11413529 @default.
- W2100033612 hasConceptScore W2100033612C118615104 @default.
- W2100033612 hasConceptScore W2100033612C138885662 @default.
- W2100033612 hasConceptScore W2100033612C171018156 @default.
- W2100033612 hasConceptScore W2100033612C199343813 @default.
- W2100033612 hasConceptScore W2100033612C203659156 @default.
- W2100033612 hasConceptScore W2100033612C2524010 @default.
- W2100033612 hasConceptScore W2100033612C2777686260 @default.
- W2100033612 hasConceptScore W2100033612C2779808786 @default.
- W2100033612 hasConceptScore W2100033612C28077239 @default.
- W2100033612 hasConceptScore W2100033612C33923547 @default.
- W2100033612 hasConceptScore W2100033612C41008148 @default.
- W2100033612 hasConceptScore W2100033612C41895202 @default.
- W2100033612 hasConceptScore W2100033612C6489637 @default.
- W2100033612 hasConceptScore W2100033612C65880906 @default.
- W2100033612 hasConceptScore W2100033612C71924100 @default.
- W2100033612 hasConceptScore W2100033612C80444323 @default.
- W2100033612 hasConceptScore W2100033612C80467683 @default.
- W2100033612 hasConceptScore W2100033612C89421646 @default.
- W2100033612 hasIssue "3" @default.
- W2100033612 hasLocation W21000336121 @default.
- W2100033612 hasOpenAccess W2100033612 @default.
- W2100033612 hasPrimaryLocation W21000336121 @default.
- W2100033612 hasRelatedWork W1484266479 @default.
- W2100033612 hasRelatedWork W1492421865 @default.
- W2100033612 hasRelatedWork W1600264565 @default.
- W2100033612 hasRelatedWork W1987945064 @default.
- W2100033612 hasRelatedWork W2134137673 @default.
- W2100033612 hasRelatedWork W2134382089 @default.
- W2100033612 hasRelatedWork W2603452578 @default.
- W2100033612 hasRelatedWork W3090765541 @default.
- W2100033612 hasRelatedWork W4295728898 @default.
- W2100033612 hasRelatedWork W2584292769 @default.
- W2100033612 hasVolume "24" @default.
- W2100033612 isParatext "false" @default.
- W2100033612 isRetracted "false" @default.
- W2100033612 magId "2100033612" @default.
- W2100033612 workType "article" @default.