Ken Sakayori
3
Documents
Publications
Publications
|
|
Wiring the Pi-calculus to Denotational Semantics2026 |
|
|
Extensional and Non-extensional Functions as ProcessesLogical Methods in Computer Science, 2025, Volume 21, Issue 3, ⟨10.46298/LMCS-21(3:25)2025⟩ |
|
|
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⟩ |
Chargement...
Chargement...