Tsinghua University – University of Amsterdam Joint Research Centre for Logic

Yu Junhua 俞珺华

俞珺华 Yu Junhua (Tsinghua University)

– Interests: Structural proof theory.