Publication:
Dependent Pattern Matching and Proof-Relevant Unification
Date
| dc.contributor.author | Cockx, Jesper | |
| dc.contributor.thesisadvisor | Piessens, Frank | |
| dc.contributor.thesisadvisor | Devriese, Dominique | |
| dc.date.accessioned | 2021-10-24T03:32:20Z | |
| dc.date.available | 2021-10-24T03:32:20Z | |
| dc.date.embargo | 9999-12-31 | |
| dc.date.issued | 2017-06 | |
| dc.identifier.uri | https://imec-publications.be/handle/20.500.12860/28048 | |
| dc.identifier.url | https://limo.libis.be/primo-explore/fulldisplay?docid=LIRIAS1656778&context=L&vid=Lirias&search_scope=Lirias&tab=default_tab&lang=en_US&fromSitemap=1 | |
| dc.title | Dependent Pattern Matching and Proof-Relevant Unification | |
| dc.type | PHD thesis | |
| dspace.entity.type | Publication | |
| Files | Original bundle
| |
| Publication available in collections: |