Relational parametricity for control considered as a computational effect

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Original language	Danish
Journal	Electronical Notes in Theoretical Computer Science
Volume	173
ISSN	1571-0661
Publication status	Published - 2007

Cite this

@article{5fc5fce4a580442fabd77f4e15951dba,

title = "Relational parametricity for control considered as a computational effect",

author = "M{\o}gelberg, {Rasmus Ejlers} and Alex Simpson",

year = "2007",

language = "Dansk",

volume = "173",

journal = "Electronical Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Pergamon Press",

}