TY  - RPRT
TI  - Kamp Theorem for Pomset Languages of Higher Dimensional Automata
AU  - Emily Clement
AU  - Enzo Erlich
AU  - Jérémy Ledent
PY  - 2025
UR  - https://arxiv.org/abs/2410.12493
ID  - 2410.12493
ER  -