nLab Jonathan Sterling

Selected writings

On guarded recursion:

On categorical models of dependent types via locally Cartesian closed categories:

On synthetic Tait computability theory:

On XTT:

See Also

category: people

Last revised on May 20, 2025 at 11:05:31. See the history of this page for a list of all contributions to it.