A new approach to abstract syntax involving binders | IEEE Conference Publication | IEEE Xplore