nLab András Kovács

Selected writings

Selected writings

On higher inductive-inductive types:

category: people

Created on February 10, 2023 at 07:04:02. See the history of this page for a list of all contributions to it.