Fully Abstract Normal Form Bisimulation for Call-by-Value PCF
You are here
| Title | Fully Abstract Normal Form Bisimulation for Call-by-Value PCF |
| Publication Type | Journal Article |
| Year of Publication | 2025 |
| Authors | Koutavas V, Lin Y-Y, Tzevelekos N |
| Journal | J. ACM |
| ISSN | 0004-5411 |
| URL | https://doi.org/10.1145/3765737 |
| DOI | 10.1145/3765737 |
