Gabbay, Murdoch J.; Pitts, Andrew M. A new approach to abstract syntax with variable binding. (English) Zbl 1001.68083 Formal Asp. Comput. 13, No. 3-5, 341-363 (2002). Cited in 4 ReviewsCited in 141 Documents MSC: 68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) 03E99 Set theory 18B20 Categories of machines, automata Keywords:abstract syntax; alpha-conversion; permutation actions; set theory; structural induction Software:Isabelle PDFBibTeX XMLCite \textit{M. J. Gabbay} and \textit{A. M. Pitts}, Formal Asp. Comput. 13, No. 3--5, 341--363 (2002; Zbl 1001.68083) Full Text: DOI