@Article{         springerlink:10.1007/s001650200016,
  Author        = "Gabbay, Murdoch J. and Pitts, Andrew M.",
  affiliation   = "Cambridge University Computer Laboratory, Cambridge, UK GB",
  date-added    = "2013-01-22 17:41:53 +0000",
  date-modified = "2013-01-22 17:42:21 +0000",
  ISSN          = "0934-5043",
  Issue         = "3",
  Journal       = "Formal Aspects of Computing",
  keyword       = "Computer Science",
  Keywords      = "nominal sets",
  Note          = "10.1007/s001650200016",
  Pages         = "341-363",
  Publisher     = "Springer London",
  Title         = "A New Approach to Abstract Syntax with Variable Binding",
  URL           = "http://dx.doi.org/10.1007/s001650200016",
  Volume        = "13",
  Year          = "2002",
  bdsk-url-1    = "http://dx.doi.org/10.1007/s001650200016",
  File          = "A New Approach to Abstract Syntax with Variable Binding - Gabbay, Pitts (0) (0) - a - a - a.pdf",
  file-2        = "A New Approach to Abstract Syntax with Variable Binding - Gabbay, Pitts (1) (0) - a - a - a.pdf"
}

@Article{ springerlink:10.1007/s001650200016, Author = "Gabbay, Murdoch J. and Pitts, Andrew M.", affiliation = "Cambridge University Computer Laboratory, Cambridge, UK GB", date-added = "2013-01-22 17:41:53 +0000", date-modified = "2013-01-22 17:42:21 +0000", ISSN = "0934-5043", Issue = "3", Journal = "Formal Aspects of Computing", keyword = "Computer Science", Keywords = "nominal sets", Note = "10.1007/s001650200016", Pages = "341-363", Publisher = "Springer London", Title = "A New Approach to Abstract Syntax with Variable Binding", URL = "http://dx.doi.org/10.1007/s001650200016", Volume = "13", Year = "2002", bdsk-url-1 = "http://dx.doi.org/10.1007/s001650200016", File = "A New Approach to Abstract Syntax with Variable Binding - Gabbay, Pitts (0) (0) - a - a - a.pdf", file-2 = "A New Approach to Abstract Syntax with Variable Binding - Gabbay, Pitts (1) (0) - a - a - a.pdf" }