
@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"
}