DMCA

Capture-avoiding Substitution as a Nominal Algebra (2008)

Cached

Download Links

by Murdoch J. Gabbay , Aad Mathijssen
Venue:Formal Aspects of Computing
Citations:15 - 5 self