TY  - RPRT
TI  - Nominal Matching Logic
AU  - James Cheney
AU  - Maribel Fernández
PY  - 2022
DO  - 10.1145/3551357.3551375
UR  - https://arxiv.org/abs/2207.14139
ID  - 2207.14139
ER  -