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

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

Active Bibliography

Abstract Syntax with Variable Binding – Murdoch J. Gabbay, Andrew M. Pitts - 1999
208 A new approach to abstract syntax with variable binding – Murdoch J. Gabbay, Andrew M. Pitts - 2002
2 The Representational Adequacy of HYBRID – R. L. Crole
145 A New Approach to Abstract Syntax Involving Binders – Murdoch Gabbay, Andrew Pitts - 1999
731 Notions of Computation and Monads – Eugenio Moggi - 1991
811 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
995 Bigraphs and Mobile Processes – Ole H√łgh Jensen, Robin Milner - 2003
457 Domain Theory – Samson Abramsky, Achim Jung - 1994
53 Nominal Unification – Christian Urban, Andrew Pitts, Murdoch Gabbay - 2003