Ken Sakayori

Publications

Communication dans un congrès (1)

Extensional and Non-extensional Functions as Processes Ken Sakayori,Davide Sangiorgi 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2023, Boston, United States. ⟨10.1109/LICS56636.2023.10175686⟩ Communication dans un congrès hal-04081885v1