Pages that link to "Item:Q2319854"
From MaRDI portal
The following pages link to A game-semantic model of computation (Q2319854):
Displaying 9 items.
- Games in the semantics of programming languages -- an elementary introduction (Q1868163) (← links)
- Computable models of the law. Languages, dialogues, games, ontologies (Q2379077) (← links)
- Latent semantic analysis of game models using LSTM (Q2423769) (← links)
- Formalizing opponent modeling with the rock, paper, scissors game (Q2669107) (← links)
- An algebraic account of references in game semantics (Q2805167) (← links)
- (Q3343813) (← links)
- (Q4986508) (← links)
- What's in a game? (Q5145311) (← links)
- Game semantics of Martin-Löf type theory (Q6190409) (← links)