命令式程序作为通过游戏语义的证明 下载（249 页）PDF书籍下载

原名:Imperative Programs as Proofs via Game Semantics Download (249 Pages)
作品简介:Helmut Veith，编辑，《计算机科学逻辑》，《计算机讲义》第 6247 卷。我还要感谢以下来自数学的个人。游戏语义提供了一个自然的解释证明，对应于验证者的获胜策略——一个向他展示如何做到这一点的秘诀……