SIGACT news logic column 14
Riccardo Pucella · ACM SIGACT News · 2005
For this issue, James Cheney describes nominal logic, an approach to solve the problems involved with reasoning about bindings in formal languages that has been gaining in popularity in recent years, and surveys its major application areas.