[GALOP'24] Fully Abstract Normal Form Bisimulation for Call-by-Value PCF

ACM SIGPLAN - [GALOP'24] Fully Abstract Normal Form Bisimulation for Call-by-Value PCF