Matches in SemOpenAlex for { <https://semopenalex.org/work/W2014142788> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2014142788 endingPage "150" @default.
- W2014142788 startingPage "127" @default.
- W2014142788 abstract "We draw attention to a number of constructions which lie behind many concrete models for linear logic; we develop an abstract context for these and describe their general theory. Using these constructions we give a model of classical linear logic based on an abstract notion of game. We derive this not from a category with built-in computational content but from the simple category of sets and relations. To demonstrate the computational content of the resulting model we make comparisons at each stage of the construction with a standard very simple notion of game. Our model provides motivation for a less familiar category of games (played on directed graphs) which is closely reflected by our notion of abstract game. We briefly indicate a number of variations on this theme and sketch how the abstract concept of game may be refined further. It will be clear that we have been influenced in a general way by colleagues who have worked on models for linear logic. Many have given readings of their models as abstract games. However, we would like to mention that a specific precursor of the work described here is a joint project with Robin Cockett on the analysis of sequentiality in the context of yet other categories of abstract games. We hope to report on this in the fullness of time." @default.
- W2014142788 created "2016-06-24" @default.
- W2014142788 creator A5043944629 @default.
- W2014142788 creator A5044396973 @default.
- W2014142788 date "1999-01-01" @default.
- W2014142788 modified "2023-10-03" @default.
- W2014142788 title "Abstract Games for Linear Logic Extended Abstract" @default.
- W2014142788 cites W1605806361 @default.
- W2014142788 cites W1607390768 @default.
- W2014142788 cites W1847465957 @default.
- W2014142788 cites W1993205599 @default.
- W2014142788 cites W1996605832 @default.
- W2014142788 cites W2094685149 @default.
- W2014142788 cites W2148761448 @default.
- W2014142788 cites W2166666657 @default.
- W2014142788 cites W2911865844 @default.
- W2014142788 cites W2911979341 @default.
- W2014142788 cites W4205864028 @default.
- W2014142788 cites W4213084408 @default.
- W2014142788 cites W4234269419 @default.
- W2014142788 doi "https://doi.org/10.1016/s1571-0661(05)80312-3" @default.
- W2014142788 hasPublicationYear "1999" @default.
- W2014142788 type Work @default.
- W2014142788 sameAs 2014142788 @default.
- W2014142788 citedByCount "22" @default.
- W2014142788 countsByYear W20141427882013 @default.
- W2014142788 countsByYear W20141427882014 @default.
- W2014142788 countsByYear W20141427882015 @default.
- W2014142788 countsByYear W20141427882019 @default.
- W2014142788 countsByYear W20141427882020 @default.
- W2014142788 countsByYear W20141427882022 @default.
- W2014142788 countsByYear W20141427882023 @default.
- W2014142788 crossrefType "journal-article" @default.
- W2014142788 hasAuthorship W2014142788A5043944629 @default.
- W2014142788 hasAuthorship W2014142788A5044396973 @default.
- W2014142788 hasBestOaLocation W20141427881 @default.
- W2014142788 hasConcept C102234262 @default.
- W2014142788 hasConcept C111472728 @default.
- W2014142788 hasConcept C111919701 @default.
- W2014142788 hasConcept C11413529 @default.
- W2014142788 hasConcept C138885662 @default.
- W2014142788 hasConcept C144237770 @default.
- W2014142788 hasConcept C151730666 @default.
- W2014142788 hasConcept C177142836 @default.
- W2014142788 hasConcept C202556891 @default.
- W2014142788 hasConcept C2779231336 @default.
- W2014142788 hasConcept C2779343474 @default.
- W2014142788 hasConcept C2780586882 @default.
- W2014142788 hasConcept C28077239 @default.
- W2014142788 hasConcept C33566652 @default.
- W2014142788 hasConcept C33923547 @default.
- W2014142788 hasConcept C41008148 @default.
- W2014142788 hasConcept C80444323 @default.
- W2014142788 hasConcept C86803240 @default.
- W2014142788 hasConceptScore W2014142788C102234262 @default.
- W2014142788 hasConceptScore W2014142788C111472728 @default.
- W2014142788 hasConceptScore W2014142788C111919701 @default.
- W2014142788 hasConceptScore W2014142788C11413529 @default.
- W2014142788 hasConceptScore W2014142788C138885662 @default.
- W2014142788 hasConceptScore W2014142788C144237770 @default.
- W2014142788 hasConceptScore W2014142788C151730666 @default.
- W2014142788 hasConceptScore W2014142788C177142836 @default.
- W2014142788 hasConceptScore W2014142788C202556891 @default.
- W2014142788 hasConceptScore W2014142788C2779231336 @default.
- W2014142788 hasConceptScore W2014142788C2779343474 @default.
- W2014142788 hasConceptScore W2014142788C2780586882 @default.
- W2014142788 hasConceptScore W2014142788C28077239 @default.
- W2014142788 hasConceptScore W2014142788C33566652 @default.
- W2014142788 hasConceptScore W2014142788C33923547 @default.
- W2014142788 hasConceptScore W2014142788C41008148 @default.
- W2014142788 hasConceptScore W2014142788C80444323 @default.
- W2014142788 hasConceptScore W2014142788C86803240 @default.
- W2014142788 hasLocation W20141427881 @default.
- W2014142788 hasOpenAccess W2014142788 @default.
- W2014142788 hasPrimaryLocation W20141427881 @default.
- W2014142788 hasRelatedWork W2011994849 @default.
- W2014142788 hasRelatedWork W2014142788 @default.
- W2014142788 hasRelatedWork W2030355453 @default.
- W2014142788 hasRelatedWork W2056324157 @default.
- W2014142788 hasRelatedWork W2057105367 @default.
- W2014142788 hasRelatedWork W3139383627 @default.
- W2014142788 hasRelatedWork W3194882106 @default.
- W2014142788 hasRelatedWork W4210873156 @default.
- W2014142788 hasRelatedWork W4210900129 @default.
- W2014142788 hasRelatedWork W4210938604 @default.
- W2014142788 hasVolume "29" @default.
- W2014142788 isParatext "false" @default.
- W2014142788 isRetracted "false" @default.
- W2014142788 magId "2014142788" @default.
- W2014142788 workType "article" @default.