Ken Sakayori
1
Documents
Publications
|
Extensional and Non-extensional Functions as Processes38th 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
|