Jesper Cockx, Dominique Devriese: Lifting proof-relevant unification to higher dimensions. CPP 2017: 173-181