Lingyuan Ye

According to our database¹, Lingyuan Ye authored at least 4 papers between 2022 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Domains and Classifying Topoi.

[BibT_eX]

[DOI]

CoRR, May, 2025

Logic and Concepts in the 2-category of Topoi.

[BibT_eX]

[DOI]

CoRR, April, 2025

2023

Varieties of Self-Reference in Metamathematics.

[BibT_eX]

[DOI]

J. Philos. Log., August, 2023

2022

Unification of Modal Logic via Topological Categories.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fifth International Conference on Applied Category Theory, 2022