Hangzhou, Zhejiang, China
Areas of Specialization
| Intuitionism and Constructivism |
| Type Theory in Mathematics |
| Intuitionistic Logic |
Areas of Interest
| Frege: Philosophy of Mathematics |
| Phenomenology of Mathematics |
| Nonclassical Logics |
PhilPapers Editorships
14 more