TY  - RPRT
TI  - Permissive-Nominal Logic (journal version)
AU  - Gilles Dowek
AU  - Murdoch J. Gabbay
PY  - 2023
DO  - 10.1145/2287718.2287720
UR  - https://arxiv.org/abs/2312.16480
ID  - 2312.16480
ER  -