APA (7th ed.) Citation

Koutavas, V., Lin, Y., & Tzevelekos, N. (2023, June 26). Fully Abstract Normal Form Bisimulation for Call-by-Value PCF. 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13. https://doi.org/10.1109/LICS56636.2023.10175778

Chicago Style (17th ed.) Citation

Koutavas, Vasileios, Yu-Yang Lin, and Nikos Tzevelekos. "Fully Abstract Normal Form Bisimulation for Call-by-Value PCF." 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 26 Jun. 2023: 1-13. https://doi.org/10.1109/LICS56636.2023.10175778.

MLA (9th ed.) Citation

Koutavas, Vasileios, et al. "Fully Abstract Normal Form Bisimulation for Call-by-Value PCF." 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 26 Jun. 2023, pp. 1-13, https://doi.org/10.1109/LICS56636.2023.10175778.