TY  - RPRT
TI  - Strong Nominal Semantics for Fixed-Point Constraints
AU  - Ali K. Caires-Santos
AU  - Maribel Fernández
AU  - Daniele Nantes-Sobrinho
PY  - 2024
DO  - 10.46298/entics.14777
UR  - https://arxiv.org/abs/2407.14253
ID  - 2407.14253
ER  -