Nominal sets [electronic resource] : names and symmetry in computer science / Andrew M. Pitts.
Material type:
TextSeries: Cambridge tracts in theoretical computer science ; 57Publication details: Cambridge : Cambridge University Press, 2013.Description: xiii, 276 p. : illISBN: - 9781107248410 (electronic bk.)
- 005.13 23
- Q172.5.S95 P58 2013
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.
There are no comments on this title.