Ken Sakayori

1
Document

Publications

Publications

Image document

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-04081885 v1