01525nam a2200385 a 4500001001100000003000700011005001700018006001900035007001500054008004100069020002900110020003500139035002300174035002400197035002500221035002300246035002100269040002700290050002500317082001500342100003000357245010200387260005200489300002500541440005900566504005300625505004200678533014700720650001400867650005800881650006100939655002201000710002001022856009701042EBC1357339MiAaPQ20250821125952.0m     o  d |      cr cn|||||||||130619s2013    enka    sb    001 0 eng d  z9781107017788 (hardback)  a9781107248410 (electronic bk.)  a(MiAaPQ)EBC1357339  a(Au-PeEL)EBL1357339  a(CaPaEBR)ebr10718516  a(CaONFJC)MIL501998  a(OCoLC)852456485  aMiAaPQcMiAaPQdMiAaPQ 4aQ172.5.S95bP58 201304a005.132231 aPitts, A. M.q(Andrew M.)10aNominal setsh[electronic resource] :bnames and symmetry in computer science /cAndrew M. Pitts.  aCambridge :bCambridge University Press,c2013.  axiii, 276 p. :bill. 0aCambridge tracts in theoretical computer science ;v57  aIncludes bibliographical references and indexes.0 apt. 1. Theory -- pt. 2. Applications.  aElectronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. 0aSymmetry. 0aProgramming languages (Electronic computers)xSyntax. 0aProgramming languages (Electronic computers)xSemantics. 4aElectronic books.2 aProQuest (Firm)40uhttps://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=1357339zClick to View