# nLab Taichi Uemura

Selected writings

## Selected writings

On categorical semantics for type theories and presenting a solution to the initiality conjecture for type theories formulated in terms of second-order generalized algebraic theories:

category: people

Last revised on July 21, 2022 at 20:13:57. See the history of this page for a list of all contributions to it.