Higher-Order Contexts via Games and the Int-Construction
Research output: Book/Report › Report › Research
| Original language | English |
|---|
| Publisher | IT-Universitetet i København |
|---|---|
| Publication status | Published - 2009 |
| Externally published | Yes |
| Series | I T University. Technical Report Series |
|---|
ID: 227990520