TY  - RPRT
TI  - Signatures and Induction Principles for Higher Inductive-Inductive Types
AU  - Ambrus Kaposi
AU  - András Kovács
PY  - 2020
DO  - 10.23638/lmcs-16(1:10)2020
UR  - https://arxiv.org/abs/1902.00297
ID  - 1902.00297
ER  -