ITU

Linear-use CPS translations in the enriched effect calculus

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

View graph of relations

Original languageEnglish
JournalLogical Methods in Computer Science
Volume8
Issue number4
ISSN1860-5974
Publication statusPublished - 2012

ID: 32333725