Nominal Logic with Equations Only

Ranald Clouston

Many formal systems, particularly in computer science, may be captured by equations modulated by side conditions asserting the "freshness of names"; these can be reasoned about wit…