#20 Huaweii, String Diagrams, Game Semantics - Dan R. Ghica | Type Theory Forall | Podwise