Accéder directement au contenu

Ken Sakayori

1
Documents

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