James Cheney, Maribel Fernández: Nominal Matching Logic. PPDP 2022: 5:1-5:15