A General Syntax for Nonrecursive Higher Inductive Types. - Marco Girardi; Roberto Zunino; Marco Benini (ICTCS, 2020)