Nominal Logic: A First Order Theory of Names and Binding (2001)

by Andrew M. Pitts
Venue:Information and Computation
Citations:142 - 15 self

Active Bibliography

Abstract Syntax with Variable Binding – Murdoch J. Gabbay, Andrew M. Pitts - 1999
174 A new approach to abstract syntax with variable binding – Murdoch J. Gabbay, Andrew M. Pitts - 2002
46 Nominal Unification – Christian Urban, Andrew Pitts, Murdoch Gabbay - 2003
1 The Representational Adequacy of HYBRID – R. L. Crole
6 Alpha-structural recursion and induction (extended abstract – Andrew M. Pitts - 2005
38 Alpha-structural recursion and induction – Andrew M. Pitts - 2006
127 A New Approach to Abstract Syntax Involving Binders – Murdoch Gabbay, Andrew Pitts - 1999
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
2 Higher Order Abstract Syntax in Type Theory – Venanzio Capretta, Amy P. Felty
12 Consistency of the Theory of Contexts – Anna Bucalo, Martin Hofmann, Furio Honsell, Marino Miculan, Ivan Scagnetto - 2001
A Formalised First-Order . . . – René Vestergaard, James Brotherston - 2002
1 Structural Recursion with Locally Scoped Names – Andrew M. Pitts
A First Order Theory of Names and Binding – Andrew M. Pitts - 2001
1 A First-Order Syntax for the pi-Calculus in Isabelle/HOL using Permutations – Christine Röckl
3 A Framework for Typed HOAS and Semantics – Marino Miculan, Ivan Scagnetto - 2003
Strong normalization for System F by HOAS on top of FOAS – Andrei Popescu, Elsa L. Gunter, Christopher J. Osborn
3 Nominal renaming sets – Murdoch J. Gabbay, Martin Hofmann
9 Decidability of Freshness, Undecidability of Revelation – Giorgio Ghelli, Giovanni Conforti - 2003
13 Behavioral and Spatial Observations in a Logic for the π-Calculus – Luís Caires - 2004