An intensionally fully-abstract sheaf model for π (expanded version)
Research output: Contribution to journal › Journal article › Research › peer-review
Documents
- Eberhart_2017_An_intensionally_fully-abstract
Final published version, 818 KB, PDF document
| Original language | English |
|---|---|
| Article number | 9 |
| Journal | Logical Methods in Computer Science |
| Volume | 13 |
| Issue number | 4 |
| Number of pages | 76 |
| ISSN | 1860-5974 |
| DOIs | |
| Publication status | Published - 2017 |
- Programming languages, categorical semantics;presheaf semantics, game semantics, concurrency, process algebra
Research areas
Number of downloads are based on statistics from Google Scholar and www.ku.dk
No data available
ID: 189156763