Quotient Inductive-Inductive Types.

Thorsten Altenkirch, Paolo Capriotti, Gabe Dijkstra, Nicolai Kraus, Fredrik Nordvall Forsberg

Browse the full FOSSACS paper archive.