TY  - RPRT
TI  - Quotient inductive-inductive types
AU  - Thorsten Altenkirch
AU  - Paolo Capriotti
AU  - Gabe Dijkstra
AU  - Nicolai Kraus
AU  - Fredrik Nordvall Forsberg
PY  - 2017
DO  - 10.1007/978-3-319-89366-2_16
UR  - https://arxiv.org/abs/1612.02346
ID  - 1612.02346
ER  -