paper

referenced-only

paper:abramsky-game-semantics-1999

Game semantics

External IDs

title_hash

e90daa6f900e01b85548b87975902c262b8d0975

legacy_slug

abramsky-game-semantics-1999

Frontmatter (9 fields)

{
  "doi": null,
  "year": 1999,
  "title": "Game semantics",
  "venue": "Computational Logic: Proceedings of the 1997 Marktoberdorf Summer School",
  "authors": [
    "S. Abramsky",
    "G. McCusker"
  ],
  "arxiv_id": null,
  "enrichment": {
    "is_stale": true
  },
  "s2_paper_id": null,
  "ingest_status": "referenced-only"
}

Outgoing (4)

introduces (1)

Copy-cat strategy(concept)

Member of (2)

Formal Concept Analysis(community)
Game Semantics(community)

Supports (1)

Information increase in computation arises from data reduction and making implicit information explicit, not logical increase.(claim)

Incoming (3)

Associated with (1)

Information Dynamics(framework)

Cited by (1)

Information, Processes and Games(paper)

studies (1)

Samson Abramsky(thinker)

Cited by (1)

2021-10-18_Prabros._1604.02603.pdf_6f9f31

Mentions (2)

papers-typed
2021-10-18_Prabros._1604.02603.pdf_6f9f31.md
alexander
papers/2021-10-18_Prabros._1604.02603.pdf_6f9f31.pdf