Higher-Order Contexts via Games and the Int-Construction
Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
Standard
Higher-Order Contexts via Games and the Int-Construction. / Birkedal, Lars; Bundgaard, Mikkel; Debois, Søren; Hildebrandt, Thomas; Grohmann, Davide.
IT-Universitetet i København, 2009. (I T University. Technical Report Series).Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
Harvard
Birkedal, L, Bundgaard, M, Debois, S, Hildebrandt, T & Grohmann, D 2009, Higher-Order Contexts via Games and the Int-Construction. I T University. Technical Report Series, IT-Universitetet i København.
APA
Birkedal, L., Bundgaard, M., Debois, S., Hildebrandt, T., & Grohmann, D. (2009). Higher-Order Contexts via Games and the Int-Construction. IT-Universitetet i København. I T University. Technical Report Series
Vancouver
Birkedal L, Bundgaard M, Debois S, Hildebrandt T, Grohmann D. Higher-Order Contexts via Games and the Int-Construction. IT-Universitetet i København, 2009. (I T University. Technical Report Series).
Author
Bibtex
@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",
}
RIS
TY - RPRT
T1 - Higher-Order Contexts via Games and the Int-Construction
AU - Birkedal, Lars
AU - Bundgaard, Mikkel
AU - Debois, Søren
AU - Hildebrandt, Thomas
AU - Grohmann, Davide
PY - 2009
Y1 - 2009
M3 - Report
T3 - I T University. Technical Report Series
BT - Higher-Order Contexts via Games and the Int-Construction
PB - IT-Universitetet i København
ER -
ID: 227990520