Nominal Sets - Names and Symmetry in Computer Science

cover

@Book{            Pitts:CUP:2013,
  Author        = "Pitts, Andrew M.",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2023-08-25 12:50:01 +0200",
  Keywords      = "nominal sets",
  Publisher     = "Cambridge University Press",
  Title         = "Nominal Sets - Names and Symmetry in Computer Science",
  Year          = "2013",
  File          = "Nominal Sets - Names and Symmetry in Computer Science - Pitts (0) (0) - a - a.pdf"
}

@Book{ Pitts:CUP:2013, Author = "Pitts, Andrew M.", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2023-08-25 12:50:01 +0200", Keywords = "nominal sets", Publisher = "Cambridge University Press", Title = "Nominal Sets - Names and Symmetry in Computer Science", Year = "2013", File = "Nominal Sets - Names and Symmetry in Computer Science - Pitts (0) (0) - a - a.pdf" }