01611nam a2200397 a 4500 EBC1357339 MiAaPQ 20250821125952.0 m o d | cr cn||||||||| 130619s2013 enka sb 001 0 eng d 9781107017788 (hardback) 9781107248410 (electronic bk.) (MiAaPQ)EBC1357339 (Au-PeEL)EBL1357339 (CaPaEBR)ebr10718516 (CaONFJC)MIL501998 (OCoLC)852456485 MiAaPQ MiAaPQ MiAaPQ Q172.5.S95 P58 2013 005.13 23 Pitts, A. M. (Andrew M.) 538480 Nominal sets [electronic resource] : names and symmetry in computer science / Andrew M. Pitts. Cambridge : Cambridge University Press, 2013. xiii, 276 p. : ill. Cambridge tracts in theoretical computer science ; 57 538481 Includes bibliographical references and indexes. pt. 1. Theory -- pt. 2. Applications. Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. Symmetry. 538482 Programming languages (Electronic computers) Syntax. 538483 Programming languages (Electronic computers) Semantics. 538484 Electronic books. 35142 ProQuest (Firm) 538485 https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=1357339 Click to View 306952 306952