Cockx, JesperJesperCockxDevriese, DominiqueDominiqueDevriese2021-10-242021-10-242017https://imec-publications.be/handle/20.500.12860/28049Lifting proof-relevant unification to higher dimensionsProceedings paperhttps://dl.acm.org/citation.cfm?id=3018612