Գրեք սա: Codensity games for bisimilarity