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