On Encoding the Pi-calculus in Higher-Order Calculi
Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
| Originalsprog | Engelsk |
|---|
| Udgivelsessted | IT University of Copenhagen |
|---|---|
| Forlag | IT-Universitetet i København |
| Vol/bind | TR-2008-106 |
| Antal sider | 24 |
| ISBN (Trykt) | 978-87-7949-165-6 |
| Status | Udgivet - 2008 |
| Eksternt udgivet | Ja |
| Navn | I T University. Technical Report Series |
|---|---|
| ISSN | 1600-6100 |
Bibliografisk note
"Technical repports" seriens ISBN numre er tilsyneladende ikke anmeldt (de er tildelt ITU ifølge dansk ISBN liste, men optræder ikke som "anvendt").
ID: 227990556