Ken Sakayori

3
Documents

Publications

Publications

Deposit thumbnail

Extensional and Non-extensional Functions as Processes

Ken Sakayori , Davide Sangiorgi

Logical Methods in Computer Science, 2025, Volume 21, Issue 3, ⟨10.46298/LMCS-21(3:25)2025⟩

Article dans une revue hal-05371670v1
Deposit thumbnail

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