Fully Abstract Normal Form Bisimulation for Call-by-Value PCF
View/ Open
Accepted version
Embargoed until: 5555-01-01
Reason: Version not permitted.
Embargoed until: 5555-01-01
Reason: Version not permitted.
DOI
10.1109/LICS56636.2023.10175778
ISSN
1043-6871