Contributions in Programming Languages Theory: Logical Relations and Type Theory
dc.contributor.author | Timany, Amin | |
dc.date.accessioned | 2021-10-26T05:42:39Z | |
dc.date.available | 2021-10-26T05:42:39Z | |
dc.date.issued | 2018-05 | |
dc.identifier.uri | https://imec-publications.be/handle/20.500.12860/31950 | |
dc.source | IIOimport | |
dc.title | Contributions in Programming Languages Theory: Logical Relations and Type Theory | |
dc.type | PHD thesis | |
dc.date.embargo | 9999-12-31 | |
dc.source.peerreview | no | |
dc.contributor.thesisadvisor | Jacobs, Bart | |
dc.contributor.thesisadvisor | Piessens, Frank | |
dc.identifier.url | https://limo.libis.be/primo-explore/fulldisplay?docid=LIRIAS1838165&context=L&vid=Lirias&search_scope=Lirias&tab=default_tab&lang=en_US&fromSitemap=1 | |
imec.availability | Published - open access |