On Encoding the Pi-calculus in Higher-Order Calculi
Research output: Book/Report › Report › Research
| Original language | English |
|---|
| Place of Publication | IT University of Copenhagen |
|---|---|
| Publisher | IT-Universitetet i København |
| Volume | TR-2008-106 |
| Number of pages | 24 |
| ISBN (Print) | 978-87-7949-165-6 |
| Publication status | Published - 2008 |
| Externally published | Yes |
| Series | I T University. Technical Report Series |
|---|---|
| ISSN | 1600-6100 |
ID: 227990556