74 citations · 74 across the 1 of their papers we have counts for
1 paper
James Cheney, Christian Urban
Nominal logic is an extension of first-order logic which provides a simple foundation for formalizing and reasoning about abstract syntax modulo consistent renaming of bound names…