@misc{indiciae7478a49f5fe0,
  title = {Nominal techniques as an Agda library},
  author = {Murdoch J. Gabbay and Orestis Melkonian},
  year = {2026},
  url = {https://arxiv.org/abs/2603.03968},
  note = {Source identifier: 2603.03968}
}