?
Theoretical Aspects of Computing – ICTAC 2023; Lecture Notes in Computer Science ,
6
Robustness in Metric Spaces over Continuous Quantales and t..:
, In:
?
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science ,
8
Logical Foundations of Quantitative Equality:
, In:
?
Lecture Notes in Computer Science; Coordination Models and Languages ,
12
Asynchronous Global Types in Co-logic Programming:
, In:
?
Lecture Notes in Computer Science; Coordination Models and Languages ,
13
Deconfined Global Types for Asynchronous Sessions:
, In:
?
Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs ,
14
An inductive abstract semantics for coFJ:
, In:
?
Programming Languages and Systems; Lecture Notes in Computer Science ,
15