Higher-Order Contexts via Games and the Int-Construction

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

Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Rapport › Forskning

Originalsprog	Engelsk

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

Navn	ITU Technical Report Series

Citationsformater

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

}