TY  - RPRT
TI  - Graded Semantics of Nominal Systems
AU  - Hannes Schulze
AU  - Lutz Schröder
AU  - Üsame Cengiz
PY  - 2026
DO  - 10.4230/lipics.concur.2026.47
UR  - https://arxiv.org/abs/2510.24353
ID  - 2510.24353
ER  -