29 citations · 78 across the 10 of their papers we have counts for
1 paper · 1 filter
Jordi Levy, Mateu Villaret
Nominal Logic is a version of first-order logic with equality, name-binding, renaming via name-swapping and freshness of names. Contrarily to higher-order logic, bindable names, ca…