The abstract variable-binding calculus