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

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

Documents Related by Co-Citation

226 A new approach to abstract syntax with variable binding – Murdoch J. Gabbay, Andrew M. Pitts - 2002
311 Higher-order abstract syntax – Frank Pfenning, Conal Elliott
153 A New Approach to Abstract Syntax Involving Binders – Murdoch Gabbay, Andrew Pitts - 1999
58 Nominal Unification – Christian Urban, Andrew Pitts, Murdoch Gabbay - 2003
879 A formulation of the simple theory of types – A Church - 1940
1064 Bigraphs and Mobile Processes – Ole H√łgh Jensen, Robin Milner - 2003
635 The Definition of Standard ML (Revised – R Milner, M Tofte, R Harper, D B MacQueen - 1997
761 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993