Pitts, A. M. <br/><br/>
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 .
<br/><br/>Includes bibliographical references and indexes. 
<br/><br/>pt. 1. Theory -- pt. 2. Applications. 
<br/><br/><br/>Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. 
<br/><br/><label>ISBN: </label>9781107248410 (electronic bk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Symmetry.<br/>Programming languages (Electronic computers)--Syntax.<br/>Programming languages (Electronic computers)--Semantics.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>Q172.5.S95  / P58 2013 
<br/><br/><label>Dewey Class. No.: </label>005.13