nLab Lingyuan Ye

Selected writings

Selected writings

On synthetic domain theory via classifying topos theory:

category: people

Last revised on May 30, 2025 at 16:39:23. See the history of this page for a list of all contributions to it.