Higher-Order Contexts via Games and the Int-Construction
Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
| Originalsprog | Engelsk |
|---|
| Forlag | IT-Universitetet i København |
|---|---|
| Status | Udgivet - 2009 |
| Eksternt udgivet | Ja |
| Navn | I T University. Technical Report Series |
|---|
ID: 227990520