Pages that link to "Item:Q3178282"
From MaRDI portal
The following pages link to Game Semantics in the Nominal Model (Q3178282):
Displaying 12 items.
- Game semantics approach to higher-order complexity (Q2396718) (← links)
- Latent semantic analysis of game models using LSTM (Q2423769) (← links)
- A game semantics of names and pointers (Q2474444) (← links)
- Game semantics for access control (Q2805155) (← links)
- Game Semantics in String Diagrams (Q2986824) (← links)
- (Q3329435) (← links)
- (Q3620027) (← links)
- (Q4225150) (← links)
- Foundations of Software Science and Computation Structures (Q5308457) (← links)
- (Q5365512) (← links)
- The far side of the cube. An elementary introduction to game semantics (Q6612782) (← links)
- Disentangling parallelism and interference in game semantics (Q6635506) (← links)