Payoffs, Intensionality and Abstraction in Games (Q4922074): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-38164-5_6
+Normal rank
@@ Property / OpenAlex ID @@
+W110688484
@@ Property / OpenAlex ID: W110688484 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3026333
@@ Property / cites work: Q3026333 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Interpretation, Logical Relations, and Kan Extensions
+Normal rank
@@ Property / cites work @@
+Game Semantics for Access Control
@@ Property / cites work: Game Semantics for Access Control / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction for PCF
@@ Property / cites work: Full abstraction for PCF / rank @@
+Normal rank
@@ Property / cites work @@
+Strictness analysis for higher-order functions
@@ Property / cites work: Strictness analysis for higher-order functions / rank @@
+Normal rank
@@ Property / cites work @@
+On concurrent games with payoff
@@ Property / cites work: On concurrent games with payoff / rank @@
+Normal rank
@@ Property / cites work @@
+Measuring the confinement of probabilistic systems
+Normal rank
@@ Property / cites work @@
+Slot games
@@ Property / cites work: Slot games / rank @@
+Normal rank
@@ Property / cites work @@
+On full abstraction for PCF: I, II and III
@@ Property / cites work: On full abstraction for PCF: I, II and III / rank @@
+Normal rank
@@ Property / cites work @@
+Some Results on a Game-Semantic Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract)
+Normal rank
@@ Property / cites work @@
+Games of perfect information, predatory pricing and the chain-store paradox
+Normal rank
@@ Property / cites work @@
+Q5844986
@@ Property / cites work: Q5844986 / rank @@
+Normal rank