Cockx, JesperJesperCockx2021-10-242021-10-242017-06https://imec-publications.be/handle/20.500.12860/28048Dependent Pattern Matching and Proof-Relevant UnificationPHD thesishttps://limo.libis.be/primo-explore/fulldisplay?docid=LIRIAS1656778&context=L&vid=Lirias&search_scope=Lirias&tab=default_tab&lang=en_US&fromSitemap=1