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. thesis › Report › Research

Original language	English

Publisher	IT-Universitetet i København
Publication status	Published - 2009

Series	ITU Technical Report Series

Cite this

@book{3304f250e0dd11dea523000ea68e967b,

title = "Higher-Order Contexts via Games and the Int-Construction",

author = "Lars Birkedal and Mikkel Bundgaard and S{\o}ren Debois and Thomas Hildebrandt and Davide Grohmann",

year = "2009",

language = "English",

series = "ITU Technical Report Series",

publisher = "IT-Universitetet i K{\o}benhavn",

address = "Denmark",

}