TY  - RPRT
TI  - Nominal techniques as an Agda library
AU  - Murdoch J. Gabbay
AU  - Orestis Melkonian
PY  - 2026
UR  - https://arxiv.org/abs/2603.03968
ID  - 2603.03968
ER  -