005.114  / P687n <br/>
Pitts, Andrew M. <br/>
       Nominal sets : names and symmetry in computer science 
 / Andrew M. Pitts 
 .- Cambridge: Cambridge University Press,  2013 
 .- xiii, 276p . 
.- ( Cambridge Tracts In Theoretical Computer Science  No.57   
<br><u>ISBN:</u> 9781107017788 
<br/><u>Subject Headings:</u> <br/>Functional programming;<br/>Logic programming;
<br><U>Copy Details:</u><br> Acc. No.: <b>A177952</b>, Full Call No.: 005.114 P687n,   Item type:  Books , Location: COMPACT STORAGE (BASEMENT), <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>