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 (17η εκδ.)Koutavas, Vasileios, Yu Lin Hou, Science Foundation Ireland (SFI), και 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 εκδ.)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.