Show simple item record

Dependent Pattern Matching and Proof-Relevant Unification

dc.contributor.authorCockx, Jesper
dc.date.accessioned2021-10-24T03:32:20Z
dc.date.available2021-10-24T03:32:20Z
dc.date.issued2017-06
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/28048
dc.sourceIIOimport
dc.titleDependent Pattern Matching and Proof-Relevant Unification
dc.typePHD thesis
dc.date.embargo9999-12-31
dc.source.peerreviewno
dc.contributor.thesisadvisorPiessens, Frank
dc.contributor.thesisadvisorDevriese, Dominique
dc.identifier.urlhttps://limo.libis.be/primo-explore/fulldisplay?docid=LIRIAS1656778&context=L&vid=Lirias&search_scope=Lirias&tab=default_tab&lang=en_US&fromSitemap=1
imec.availabilityPublished - open access


Files in this item

Thumbnail
Name:
42943.pdf
Size:
1.103Mb
Format:
PDF
View/open

This item appears in the following collection(s)

Show simple item record