Unification of Modal Logic via Topological Categories. - Lingyuan Ye (ACT, 2022)

Varieties of Self-Reference in Metamathematics. - Balthasar Grabmayr; Volker Halbach; Lingyuan Ye (J. Philos. Log., 2023)

Logic and Concepts in the 2-category of Topoi. - Ivan Di Liberti; Lingyuan Ye (CoRR, 2025)

Domains and Classifying Topoi. - Jonathan Sterling; Lingyuan Ye (CoRR, 2025)