Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297979674> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W4297979674 abstract "We survey the prospects for an Information Dynamics which can serve as the basis for a fundamental theory of information, incorporating qualitative and structural as well as quantitative aspects. We motivate our discussion with some basic conceptual puzzles: how can information increase in computation, and what is it that we are actually computing in general? Then we survey a number of the theories which have been developed within Computer Science, as partial exemplifications of the kind of fundamental theory which we seek: including Domain Theory, Dynamic Logic, and Process Algebra. We look at recent work showing new ways of combining quantitative and qualitative theories of information, as embodied respectively by Domain Theory and Shannon Information Theory. Then we look at Game Semantics and Geometry of Interaction, as examples of dynamic models of logic and computation in which information flow and interaction are made central and explicit. We conclude by looking briefly at some key issues for future progress." @default.
- W4297979674 created "2022-10-01" @default.
- W4297979674 creator A5081687891 @default.
- W4297979674 date "2016-04-09" @default.
- W4297979674 modified "2023-09-23" @default.
- W4297979674 title "Information, Processes and Games" @default.
- W4297979674 doi "https://doi.org/10.48550/arxiv.1604.02603" @default.
- W4297979674 hasPublicationYear "2016" @default.
- W4297979674 type Work @default.
- W4297979674 citedByCount "0" @default.
- W4297979674 crossrefType "posted-content" @default.
- W4297979674 hasAuthorship W4297979674A5081687891 @default.
- W4297979674 hasBestOaLocation W42979796741 @default.
- W4297979674 hasConcept C100609095 @default.
- W4297979674 hasConcept C105795698 @default.
- W4297979674 hasConcept C11413529 @default.
- W4297979674 hasConcept C134306372 @default.
- W4297979674 hasConcept C154945302 @default.
- W4297979674 hasConcept C162324750 @default.
- W4297979674 hasConcept C184337299 @default.
- W4297979674 hasConcept C199360897 @default.
- W4297979674 hasConcept C2522767166 @default.
- W4297979674 hasConcept C26517878 @default.
- W4297979674 hasConcept C33923547 @default.
- W4297979674 hasConcept C36503486 @default.
- W4297979674 hasConcept C38652104 @default.
- W4297979674 hasConcept C41008148 @default.
- W4297979674 hasConcept C45374587 @default.
- W4297979674 hasConcept C52622258 @default.
- W4297979674 hasConcept C539667460 @default.
- W4297979674 hasConcept C80444323 @default.
- W4297979674 hasConcept C98045186 @default.
- W4297979674 hasConceptScore W4297979674C100609095 @default.
- W4297979674 hasConceptScore W4297979674C105795698 @default.
- W4297979674 hasConceptScore W4297979674C11413529 @default.
- W4297979674 hasConceptScore W4297979674C134306372 @default.
- W4297979674 hasConceptScore W4297979674C154945302 @default.
- W4297979674 hasConceptScore W4297979674C162324750 @default.
- W4297979674 hasConceptScore W4297979674C184337299 @default.
- W4297979674 hasConceptScore W4297979674C199360897 @default.
- W4297979674 hasConceptScore W4297979674C2522767166 @default.
- W4297979674 hasConceptScore W4297979674C26517878 @default.
- W4297979674 hasConceptScore W4297979674C33923547 @default.
- W4297979674 hasConceptScore W4297979674C36503486 @default.
- W4297979674 hasConceptScore W4297979674C38652104 @default.
- W4297979674 hasConceptScore W4297979674C41008148 @default.
- W4297979674 hasConceptScore W4297979674C45374587 @default.
- W4297979674 hasConceptScore W4297979674C52622258 @default.
- W4297979674 hasConceptScore W4297979674C539667460 @default.
- W4297979674 hasConceptScore W4297979674C80444323 @default.
- W4297979674 hasConceptScore W4297979674C98045186 @default.
- W4297979674 hasLocation W42979796741 @default.
- W4297979674 hasOpenAccess W4297979674 @default.
- W4297979674 hasPrimaryLocation W42979796741 @default.
- W4297979674 hasRelatedWork W1499261285 @default.
- W4297979674 hasRelatedWork W1603485317 @default.
- W4297979674 hasRelatedWork W1988666619 @default.
- W4297979674 hasRelatedWork W2005412081 @default.
- W4297979674 hasRelatedWork W2419185176 @default.
- W4297979674 hasRelatedWork W2616049357 @default.
- W4297979674 hasRelatedWork W2793653224 @default.
- W4297979674 hasRelatedWork W2971867419 @default.
- W4297979674 hasRelatedWork W4285814174 @default.
- W4297979674 hasRelatedWork W4293872997 @default.
- W4297979674 isParatext "false" @default.
- W4297979674 isRetracted "false" @default.
- W4297979674 workType "article" @default.