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