Relational parametricity for control considered as a computational effect

Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

Original languageDanish
JournalElectronical Notes in Theoretical Computer Science
Volume173
ISSN1571-0661
Publication statusPublished - 2007

Cite this