Show simple item record

Lifting proof-relevant unification to higher dimensions

dc.contributor.authorCockx, Jesper
dc.contributor.authorDevriese, Dominique
dc.date.accessioned2021-10-24T03:32:31Z
dc.date.available2021-10-24T03:32:31Z
dc.date.issued2017
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/28049
dc.sourceIIOimport
dc.titleLifting proof-relevant unification to higher dimensions
dc.typeProceedings paper
dc.source.peerreviewyes
dc.source.beginpage173
dc.source.endpage181
dc.source.conferenceProceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP
dc.source.conferencedate16/01/2017
dc.source.conferencelocationParis France
dc.identifier.urlhttps://dl.acm.org/citation.cfm?id=3018612
imec.availabilityPublished - imec


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following collection(s)

Show simple item record