Chuangjie Xu

1. A Gentzen-style monadic translation of Gödel's System T
   2019/08/16 by Chuangjie Xu, Xu, Chuangjie · 1 citation
   Computer Science · #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL)
2. Information Propagation and Contraction in Functional Interpretations
   2026/07/22 by Chuangjie Xu
   Computer Science · #cs.LO