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:

- Tamara von Glehn,
*Polynomials and models of type theory*, PhD thesis (2015) [doi10.17863/CAM.16245]

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.