Search for persons
X
?
2023 IEEE International Conference on Quantum Computing and Engineering (QCE) ,
2
Quantum Picturalism: Learning Quantum Theory in High School:
, In:
?
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ,
3
Completeness for arbitrary finite dimensions of ZXW-calculu..:
, In:
?
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics; Outstanding Contributions to Logic ,
13
The Mathematics of Text Structure:
, In:
?
Conceptual Spaces: Elaborations and Applications; Synthese Library ,
15