Ken Sakayori

1
Document

Publications

Publications

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