Junhua Yu

• Knowledge, Proof and Dynamics