TY - RPRT TI - Nominal Topology for Data Languages AU - Fabian Birkmann AU - Stefan Milius AU - Henning Urbat PY - 2023 DO - 10.4230/lipics.icalp.2023.114 UR - https://arxiv.org/abs/2304.13337 ID - 2304.13337 ER -