Higher-Order Contexts via Games and the Int-Construction

Lars Birkedal, Mikkel Bundgaard, Søren Debois, Thomas Hildebrandt, Davide Grohmann

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

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

Cite this