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:

category: people

Last revised on May 29, 2023 at 17:20:49. See the history of this page for a list of all contributions to it.