I now have the compact closed category of open games that I wanted for years... but at what cost? It's built on computable functions, and game theory over computable functions turns out to be pretty weirdpic.twitter.com/ZWcb1o9Bnh
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
Have you looked at Computability Logic? It's also based on Game Theory with Computable Functions.
Interesting.... but I guess you mean game semantics, not game theory. (The games that come up in logic are almost entirely unrelated to game theory)
Oops, I should get more sleep.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.