von Raumer, J. (2020). Higher inductive types, inductive families, and inductive-inductive types.
Chicago Style (17th ed.) Citationvon Raumer, Jakob. Higher Inductive Types, Inductive Families, and Inductive-inductive Types. 2020.
MLA (9th ed.) Citationvon Raumer, Jakob. Higher Inductive Types, Inductive Families, and Inductive-inductive Types. 2020.
Warning: These citations may not always be 100% accurate.