Altenkirch, Thorsten, Capriotti, Paolo, Dijkstra, Gabe, Kraus, Nicolai, Nordvall Forsberg, Fredrik, "Quotient inductive-inductive types", , 2024