Publication:
Lifting proof-relevant unification to higher dimensions
Date
| dc.contributor.author | Cockx, Jesper | |
| dc.contributor.author | Devriese, Dominique | |
| dc.date.accessioned | 2021-10-24T03:32:31Z | |
| dc.date.available | 2021-10-24T03:32:31Z | |
| dc.date.issued | 2017 | |
| dc.identifier.uri | https://imec-publications.be/handle/20.500.12860/28049 | |
| dc.identifier.url | https://dl.acm.org/citation.cfm?id=3018612 | |
| dc.source.beginpage | 173 | |
| dc.source.conference | Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP | |
| dc.source.conferencedate | 16/01/2017 | |
| dc.source.conferencelocation | Paris France | |
| dc.source.endpage | 181 | |
| dc.title | Lifting proof-relevant unification to higher dimensions | |
| dc.type | Proceedings paper | |
| dspace.entity.type | Publication | |
| Files | ||
| Publication available in collections: |