Higher-Order Contexts via Games and the Int-Construction

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

Original language	English

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

Series	I T University. Technical Report Series

Cite this

@book{b50061c698054bab8eb751361f697f5f,

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 = "I T University. Technical Report Series",

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

address = "Denmark",

}