Matches in SemOpenAlex for { <https://semopenalex.org/work/W2141796169> ?p ?o ?g. }
- W2141796169 endingPage "465" @default.
- W2141796169 startingPage "435" @default.
- W2141796169 abstract "Two imperative programming language phrases interfere when one writes to a storage variable that the other reads from or writes to. Reynolds has described an elegant linguistic approach to controlling interference in which a refinement of typed λ-calculus is used to limit sharing of storage variables; in particular, different identifiers are required never to interfere. This paper examines semantic foundations of the approach. We describe a category that has (an abstraction of) interference information built into all objects and maps. This information is used to define a ‘tensor’ product whose components are required never to interfere. Environments are defined using the tensor, and procedure types are obtained via a suitable adjunction. The category is a model of intuitionistic linear logic. Reynolds' concept of passive type - i.e . types for phrases that do not write to any storage variables - is shown to be closely related, in this model, to Girard's ‘of course’ modality." @default.
- W2141796169 created "2016-06-24" @default.
- W2141796169 creator A5068136684 @default.
- W2141796169 date "1993-12-01" @default.
- W2141796169 modified "2023-09-23" @default.
- W2141796169 title "A model for syntactic control of interference" @default.
- W2141796169 cites W1488880065 @default.
- W2141796169 cites W1493216323 @default.
- W2141796169 cites W1508664008 @default.
- W2141796169 cites W1511243299 @default.
- W2141796169 cites W1981303668 @default.
- W2141796169 cites W2005403834 @default.
- W2141796169 cites W2012968289 @default.
- W2141796169 cites W2046137117 @default.
- W2141796169 cites W2085787139 @default.
- W2141796169 cites W2086288870 @default.
- W2141796169 cites W2098688018 @default.
- W2141796169 cites W2099487986 @default.
- W2141796169 cites W2116293853 @default.
- W2141796169 cites W2120713972 @default.
- W2141796169 cites W2131791649 @default.
- W2141796169 cites W2144778998 @default.
- W2141796169 cites W2169907127 @default.
- W2141796169 cites W2911865844 @default.
- W2141796169 cites W3022825331 @default.
- W2141796169 cites W3145063512 @default.
- W2141796169 cites W4234826786 @default.
- W2141796169 cites W4256453086 @default.
- W2141796169 cites W52272913 @default.
- W2141796169 doi "https://doi.org/10.1017/s0960129500000311" @default.
- W2141796169 hasPublicationYear "1993" @default.
- W2141796169 type Work @default.
- W2141796169 sameAs 2141796169 @default.
- W2141796169 citedByCount "27" @default.
- W2141796169 countsByYear W21417961692013 @default.
- W2141796169 countsByYear W21417961692015 @default.
- W2141796169 countsByYear W21417961692017 @default.
- W2141796169 countsByYear W21417961692020 @default.
- W2141796169 crossrefType "journal-article" @default.
- W2141796169 hasAuthorship W2141796169A5068136684 @default.
- W2141796169 hasBestOaLocation W21417961692 @default.
- W2141796169 hasConcept C111472728 @default.
- W2141796169 hasConcept C124304363 @default.
- W2141796169 hasConcept C134306372 @default.
- W2141796169 hasConcept C136119220 @default.
- W2141796169 hasConcept C138885662 @default.
- W2141796169 hasConcept C151201525 @default.
- W2141796169 hasConcept C154504017 @default.
- W2141796169 hasConcept C155281189 @default.
- W2141796169 hasConcept C182365436 @default.
- W2141796169 hasConcept C18903297 @default.
- W2141796169 hasConcept C199360897 @default.
- W2141796169 hasConcept C202444582 @default.
- W2141796169 hasConcept C2776235265 @default.
- W2141796169 hasConcept C2777299769 @default.
- W2141796169 hasConcept C2780580338 @default.
- W2141796169 hasConcept C33923547 @default.
- W2141796169 hasConcept C41008148 @default.
- W2141796169 hasConcept C51255310 @default.
- W2141796169 hasConcept C80444323 @default.
- W2141796169 hasConcept C86803240 @default.
- W2141796169 hasConceptScore W2141796169C111472728 @default.
- W2141796169 hasConceptScore W2141796169C124304363 @default.
- W2141796169 hasConceptScore W2141796169C134306372 @default.
- W2141796169 hasConceptScore W2141796169C136119220 @default.
- W2141796169 hasConceptScore W2141796169C138885662 @default.
- W2141796169 hasConceptScore W2141796169C151201525 @default.
- W2141796169 hasConceptScore W2141796169C154504017 @default.
- W2141796169 hasConceptScore W2141796169C155281189 @default.
- W2141796169 hasConceptScore W2141796169C182365436 @default.
- W2141796169 hasConceptScore W2141796169C18903297 @default.
- W2141796169 hasConceptScore W2141796169C199360897 @default.
- W2141796169 hasConceptScore W2141796169C202444582 @default.
- W2141796169 hasConceptScore W2141796169C2776235265 @default.
- W2141796169 hasConceptScore W2141796169C2777299769 @default.
- W2141796169 hasConceptScore W2141796169C2780580338 @default.
- W2141796169 hasConceptScore W2141796169C33923547 @default.
- W2141796169 hasConceptScore W2141796169C41008148 @default.
- W2141796169 hasConceptScore W2141796169C51255310 @default.
- W2141796169 hasConceptScore W2141796169C80444323 @default.
- W2141796169 hasConceptScore W2141796169C86803240 @default.
- W2141796169 hasIssue "4" @default.
- W2141796169 hasLocation W21417961691 @default.
- W2141796169 hasLocation W21417961692 @default.
- W2141796169 hasOpenAccess W2141796169 @default.
- W2141796169 hasPrimaryLocation W21417961691 @default.
- W2141796169 hasRelatedWork W137976737 @default.
- W2141796169 hasRelatedWork W1504651774 @default.
- W2141796169 hasRelatedWork W1565263828 @default.
- W2141796169 hasRelatedWork W1999473061 @default.
- W2141796169 hasRelatedWork W2018535394 @default.
- W2141796169 hasRelatedWork W2052803392 @default.
- W2141796169 hasRelatedWork W2078729172 @default.
- W2141796169 hasRelatedWork W2141796169 @default.
- W2141796169 hasRelatedWork W2413968528 @default.
- W2141796169 hasRelatedWork W3160136729 @default.
- W2141796169 hasVolume "3" @default.
- W2141796169 isParatext "false" @default.