137 citations · 458 across the 52 of their papers we have counts for
1 paper · 1 filter
James Cheney
Nominal abstract syntax is an approach to representing names and binding pioneered by Gabbay and Pitts. So far nominal techniques have mostly been studied using classical logic or…