Higher-Order Contexts via Games and the Int-Construction
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 |
|---|
ID: 1036726