TY  - RPRT
TI  - Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques
AU  - Gilles Dowek
AU  - Murdoch J. Gabbay
AU  - Dominic Mulligan
PY  - 2023
DO  - 10.1093/jigpal/jzq006
UR  - https://arxiv.org/abs/2312.15651
ID  - 2312.15651
ER  -