Fully Abstract Normal Form Bisimulation for Call-by-Value PCF - Koutavas, Vasileios; Lin, Yu-Yang; Tzevelekos, Nikos (2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023)
Keywords: Computer science; Games; Optimization; Semantics; Testing