A New Approach to Abstract Syntax Involving Binders (1999)

by Murdoch Gabbay , Andrew Pitts
Venue:In 14th Annual Symposium on Logic in Computer Science
Citations:146 - 14 self

Active Bibliography

Abstract Syntax with Variable Binding – Murdoch J. Gabbay, Andrew M. Pitts - 1999
207 A new approach to abstract syntax with variable binding – Murdoch J. Gabbay, Andrew M. Pitts - 2002
88 A Metalanguage for Programming with Bound Names Modulo Renaming – Andrew M. Pitts, Murdoch J. Gabbay - 2000
6 Alpha-structural recursion and induction (extended abstract – Andrew M. Pitts - 2005
161 Nominal Logic: A First Order Theory of Names and Binding – Andrew M. Pitts - 2001
21 Abstract syntax and variable binding (extended abstract – Marcelo Fiore, Gordon Plotkin, Daniele Turi - 1999
12 Consistency of the Theory of Contexts – Anna Bucalo, Martin Hofmann, Furio Honsell, Marino Miculan, Ivan Scagnetto - 2001
6 On the formalization of the modal µ-calculus in the Calculus of Inductive Constructions – Marino Miculan - 2000
21 Focusing on binding and computation – Daniel R. Licata, Noam Zeilberger, Robert Harper - 2008
44 Alpha-structural recursion and induction – Andrew M. Pitts - 2006
Structural Induction and the λ-Calculus – René Vestergaard
2 The Representational Adequacy of HYBRID – R. L. Crole
9 Staged Computation with Names and Necessity – Aleksandar Nanevski, Frank Pfenning - 2005
8 Simple nominal type theory – James Cheney
1 Strong normalization for System F by HOAS on top of FOAS – Andrei Popescu, Elsa L. Gunter, Christopher J. Osborn
5 A Comparison of Formalizations of the Meta-Theory of a Language with Variable Bindings in Isabelle – A. Momigliano, S. J. Ambler, R. L. Crole - 2001
21 A Proof Search Specification of the π-Calculus – Alwen Tiu, Dale Miller - 2004
14 A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax – Amy Felty, Alberto Momigliano - 2010
81 Automating the Meta Theory of Deductive Systems – Carsten Schurmann, Dana Scott - 2000