dc.contributor.author | JABER, G | en_US |
dc.contributor.author | TZEVELEKOS, NP | en_US |
dc.contributor.author | 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS) | en_US |
dc.date.accessioned | 2018-04-27T13:36:16Z | |
dc.date.available | 2017-12-22 | en_US |
dc.date.issued | 2018-04-14 | en_US |
dc.date.submitted | 2018-03-02T18:35:24.375Z | |
dc.identifier.uri | http://qmro.qmul.ac.uk/xmlui/handle/123456789/36555 | |
dc.rights | 10.1007/978-3-319-89366-2_2 | |
dc.title | A Trace Semantics for System F Parametric Polymorphism | en_US |
dc.type | Conference Proceeding | |
dc.rights.holder | © The Author(s) 2018 | |
dc.identifier.doi | 10.1007/978-3-319-89366-2_2 | en_US |
pubs.notes | Not known | en_US |
pubs.publication-status | Accepted | en_US |
dcterms.dateAccepted | 2017-12-22 | en_US |
qmul.funder | Program Reasoning with Nominal Game Semantics::Engineering and Physical Sciences Research Council | en_US |
qmul.funder | Program Reasoning with Nominal Game Semantics::Engineering and Physical Sciences Research Council | en_US |