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 | Conference Paper |
| Year of Publication | 2023 |
| Authors | Koutavas V, Lin Y-Y, Tzevelekos N |
| Conference Name | 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) |
| DOI | 10.1109/LICS56636.2023.10175778 |
