Nominal sets names and symmetry in computer science /
Pitts, A. M.
Nominal sets names and symmetry in computer science / [electronic resource] : Andrew M. Pitts. - Cambridge : Cambridge University Press, 2013. - xiii, 276 p. : ill. - Cambridge tracts in theoretical computer science ; 57 .
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.
9781107248410 (electronic bk.)
Symmetry.
Programming languages (Electronic computers)--Syntax.
Programming languages (Electronic computers)--Semantics.
Electronic books.
Q172.5.S95 / P58 2013
005.13
Nominal sets names and symmetry in computer science / [electronic resource] : Andrew M. Pitts. - Cambridge : Cambridge University Press, 2013. - xiii, 276 p. : ill. - Cambridge tracts in theoretical computer science ; 57 .
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.
9781107248410 (electronic bk.)
Symmetry.
Programming languages (Electronic computers)--Syntax.
Programming languages (Electronic computers)--Semantics.
Electronic books.
Q172.5.S95 / P58 2013
005.13