Capture-Avoiding Substitution as a Nominal Algebra.

Murdoch Gabbay, Aad Mathijssen

Browse the full ICTAC paper archive.