Higher-Order Contexts via Games and the Int-Construction

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

Originalsprog	Engelsk

Forlag	IT-Universitetet i København
Status	Udgivet - 2009
Udgivet eksternt	Ja

Navn	I T University. Technical Report Series

Citationsformater

@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",

}