Jakob von Raumer

Publications

• Higher Inductive Types, Inductive Families, and Inductive-Inductive Types. Jakob von Raumer. 2019.