ITU

Higher-Order Contexts via Games and the Int-Construction

Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

View graph of relations

Original languageEnglish
PublisherIT-Universitetet i København
Publication statusPublished - 2009
SeriesITU Technical Report Series

ID: 1036726