Tamara von Glehn works on type theory, category theory and the relation between category theory and type theory.
On polynomial functors and two-sided fibrations in the categorical semantics of dependent types:
Last revised on May 6, 2023 at 13:05:56. See the history of this page for a list of all contributions to it.