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