nLab Tamara von Glehn

Selected writings

Tamara von Glehn works on type theory, category theory and the relation between category theory and type theory.

Selected writings

On polynomial functors and two-sided fibrations in the categorical semantics of dependent types:

category: people

Last revised on May 6, 2023 at 13:05:56. See the history of this page for a list of all contributions to it.