APA (7th ed.) Citation

Koutavas, V., Lin Hou, Y., (SFI), S. F. I., & 13/RC/2094_2. (2023). Fully Abstract Normal Form Bisimulation for Call-by-Value PCF ; 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). https://doi.org/10.1109/LICS56636.2023.10175778

Chicago Style (17th ed.) Citation

Koutavas, Vasileios, Yu Lin Hou, Science Foundation Ireland (SFI), and 13/RC/2094_2. Fully Abstract Normal Form Bisimulation for Call-by-Value PCF ; 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). 2023. 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). 2023. https://doi.org/10.1109/LICS56636.2023.10175778.