nLab Zhaohui Luo

Selected writings

On type theory in computer science (via the calculus of constructions):

category: people

Last revised on January 3, 2023 at 00:45:39. See the history of this page for a list of all contributions to it.