Five axioms of alpha-conversion (1996)

by Andrew D. Gordon , Tom Melham
Venue:Ninth international Conference on Theorem Proving in Higher Order Logics TPHOL
Citations:53 - 0 self

Documents Related by Co-Citation

306 Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser Theorem – N. G. De Bruijn - 1972
123 Primitive Recursion for Higher-Order Abstract Syntax – Joëlle Despeyroux, Frank Pfenning - 1997
145 A New Approach to Abstract Syntax Involving Binders – Murdoch Gabbay, Andrew Pitts - 1999
142 Abstract syntax and variable binding – M Fiore, G Plotkin, D Turi - 1999
857 A formulation of the simple theory of types – Alonzo Church - 1940
209 A new approach to abstract syntax with variable binding – Murdoch J. Gabbay, Andrew M. Pitts - 2002
168 Nominal Logic: A First Order Theory of Names and Binding – Andrew M. Pitts - 2001
307 Higher-order abstract syntax – F Pfenning, C Elliott
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993