INFORMATION, PROCESSES AND GAMES
References (0)
Cited by (29)
Execution trace sets for real computation
2023, Theoretical Computer ScienceCitation Excerpt :Here, we turn the focus back to the algorithm as a process: instead of treating algorithms as iteratively applied functions, we consider them in terms of the behaviour observed during execution. This perspective has had little development in analysing algorithms specifically, though it draws parallels with game semantics and structural operational semantics for programming languages [1,11,23], as well as work on traces for primitive recursive functions [7,8].1 The key idea is this: when run, algorithms generate an execution trace set, a set of sequences over some domain.
Computation as social agency: What, how and who
2018, Information and ComputationCitation Excerpt :A conspicuous newcomer is co-algebra, a theory of computing on infinite streams, tied to fixed-point logics and category theory, [99]. Another striking new take on multi-agent distributed computing has been game semantics, [1], [2], and related areas in logic, leading to new encounters between computer science, logic, and game theory, [81].2 Artificial intelligence A final development of note has been the rise of Artificial Intelligence since the 1950s.
On Computable Numbers, with an Application to the Entscheidungsproblem - A Correction
2013, Alan Turing: His Work and ImpactReconciling Shannon and Scott with a Lattice of Computable Information
2023, Proceedings of the ACM on Programming LanguagesReductive Logic, Proof-Search, and Coalgebra: A Perspective from Resource Semantics
2023, Outstanding Contributions to LogicCompositionality in Context
2023, Outstanding Contributions to Logic