Fibred Data Types. - Neil Ghani; Lorenzo Malatesta; Fredrik Nordvall Forsberg; Anton Setzer (LICS, 2013)

Small Induction Recursion. - Peter G. Hancock; Conor McBride; Neil Ghani; Lorenzo Malatesta; Thorsten Altenkirch (TLCA, 2013)

Positive Inductive-Recursive Definitions. - Neil Ghani; Lorenzo Malatesta; Fredrik Nordvall Forsberg (Log. Methods Comput. Sci., 2015)

Investigations into inductive-recursive definitions. - Lorenzo Malatesta (2015)