Yu Junhua 俞珺华

俞珺华 Yu Junhua (Tsinghua University)

– Interests: Structural proof theory.