nLab Marcelo Fiore

Selected writings

Selected writings

On higher-order abstract syntax:

On quotient types, inductive types and inductive-inductive types:

category: people

Last revised on February 10, 2023 at 08:10:39. See the history of this page for a list of all contributions to it.