Logic Column 14: Nominal Logic and Abstract Syntax

James Cheney

Formalizing syntactic proofs of properties of logics, programming languages, security protocols, and other formal systems is a significant challenge, in large part because of the o…