Syntax and Semantics of Abstract Binding Trees. - Jonathan Sterling; Darin Morrison (CoRR, 2016)