Home Ask AI Library You

Prev

Next

Home Ask AI Library You

Enjoy Podwise!

··:····:··

[GALOP'24] An abstract, certified account of Operational Game Semantics | ACM SIGPLAN | Podwise

Podcast Cover

16 Jun 2024

20m

[GALOP'24] An abstract, certified account of Operational Game Semantics

ACM SIGPLAN

ACM SIGPLAN - [GALOP'24] An abstract, certified account of Operational Game Semantics

Sign in to continue reading, translating and more.

mindmap screenshot

Preview

preview episode cover

How to Get Rich: Every EpisodeNaval