ITU

Relational parametricity for control considered as a computational effect

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

View graph of relations

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

ID: 31635596