949 followers Üe🦀 @ranha ゲーム(≠ game semantics)を中間意味論で導入してHoare論理を展開する名著などもある https://t.co/VirHIekS82 23 Jul 2021 Reply Repost Favourite