A {{New Approach}} to {{Abstract Syntax}} with {{Variable Binding}}

• Gabbay, M. J., & Pitts, A. M. (2002). A New Approach to Abstract Syntax with Variable Binding. Formal Aspects of Computing.