Cargando…

Nominal sets : names and symmetry in computer science /

The first detailed account of the basic theory and applications of nominal sets.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Pitts, A. M. (Andrew M.) (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge : Cambridge University Press, 2013.
Colección:Cambridge tracts in theoretical computer science ; 57.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000 i 4500
001 EBOOKCENTRAL_ocn852456485
003 OCoLC
005 20240329122006.0
006 m o d
007 cr cnu---unuuu
008 130207s2013 enk ob 001 0 eng d
040 |a AZU  |b eng  |e pn  |c AZU  |d OCLCO  |d N$T  |d YDXCP  |d EBLCP  |d UMI  |d MHW  |d CAMBR  |d MEAUC  |d DEBSZ  |d E7B  |d OCLCQ  |d OCLCF  |d COO  |d VT2  |d OCLCQ  |d BUF  |d CEF  |d IUL  |d OCLCQ  |d WYU  |d UKAHL  |d OL$  |d OCLCQ  |d LOA  |d OCLCQ  |d LVT  |d LUN  |d OCLCQ  |d QGK  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCLCL  |d OCLCQ  |d OCLCL  |d OCLCQ 
016 7 |a 016284470  |2 Uk 
019 |a 852457329  |a 858671117  |a 1066435896  |a 1122502035  |a 1129360202  |a 1152697430  |a 1167383305  |a 1228583437  |a 1259195211 
020 |a 9781107250079  |q (electronic bk.) 
020 |a 1107250072  |q (electronic bk.) 
020 |a 1107248418  |q (electronic bk.) 
020 |a 9781107248410  |q (electronic bk.) 
020 |a 9781139084673  |q (electronic bk.) 
020 |a 1139084674  |q (electronic bk.) 
020 |a 9781107247581 
020 |a 1107247586 
020 |z 9781107017788  |q (hbk.) 
020 |z 1107017785  |q (hbk.) 
020 |z 9781299707474  |q (MyiLibrary) 
020 |z 1299707475  |q (MyiLibrary) 
020 |a 1139890778 
020 |a 9781139890779 
020 |a 1107249244 
020 |a 9781107249240 
020 |a 1107250900 
020 |a 9781107250901 
029 1 |a AU@  |b 000052281458 
029 1 |a AU@  |b 000066749547 
029 1 |a DEBBG  |b BV041432618 
029 1 |a DEBSZ  |b 397624263 
029 1 |a DEBSZ  |b 398285381 
029 1 |a NZ1  |b 15178753 
035 |a (OCoLC)852456485  |z (OCoLC)852457329  |z (OCoLC)858671117  |z (OCoLC)1066435896  |z (OCoLC)1122502035  |z (OCoLC)1129360202  |z (OCoLC)1152697430  |z (OCoLC)1167383305  |z (OCoLC)1228583437  |z (OCoLC)1259195211 
037 |a CL0500000299  |b Safari Books Online 
050 4 |a QA76.7 
072 7 |a COM  |x 051010  |2 bisacsh 
082 0 4 |a 005.13  |2 23 
049 |a UAMI 
100 1 |a Pitts, A. M.  |q (Andrew M.),  |e author.  |1 https://id.oclc.org/worldcat/entity/E39PCjFYRHGpVGJ88yXkQDqVcq 
245 1 0 |a Nominal sets :  |b names and symmetry in computer science /  |c by Andrew M. Pitts. 
264 1 |a Cambridge :  |b Cambridge University Press,  |c 2013. 
300 |a 1 online resource (1 volume) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a data file 
490 1 |a Cambridge tracts in theoretical computer science ;  |v 57 
588 0 |a Print version record. 
504 |a Includes bibliographical references and index. 
520 |a The first detailed account of the basic theory and applications of nominal sets. 
505 0 |a Cover; Contents; Preface; 0 Introduction; 0.1 Atomic names; 0.2 Support and freshness; 0.3 Abstract syntax with binders; 0.4 Name abstraction; 0.5 Orbit-finiteness; 0.6 Alternative formulations; 0.7 Prerequisites; 0.8 Notation; PART ONE THEORY; 1 Permutations; 1.1 The category of G-sets; 1.2 Products and coproducts; 1.3 Natural numbers; 1.4 Functions; 1.5 Power sets; 1.6 Partial functions; 1.7 Quotient sets; 1.8 Finite permutations; 1.9 Name symmetries; Exercises; 2 Support; 2.1 The category of nominal sets; 2.2 Products and coproducts; 2.3 Natural numbers; 2.4 Functions; 2.5 Power sets. 
505 8 |a 11.2 Discontinuity of name abstraction11.3 Uniform directed complete posets; 11.4 Recursive domain equations; 11.5 Nominal Scott domains; Exercises; 12 Computational logic; 12.1 Unification; 12.2 Term rewriting; 12.3 Logic programming; Exercises; References; Index of notation; Index. 
546 |a English. 
590 |a eBooks on EBSCOhost  |b EBSCO eBook Subscription Academic Collection - Worldwide 
590 |a ProQuest Ebook Central  |b Ebook Central Academic Complete 
650 0 |a Programming languages (Electronic computers)  |x Semantics. 
650 0 |a Programming languages (Electronic computers)  |x Syntax. 
650 6 |a Langages de programmation  |x Sémantique. 
650 6 |a Langages de programmation  |x Syntaxe. 
650 7 |a COMPUTERS  |x Programming Languages  |x General.  |2 bisacsh 
650 7 |a Programming languages (Electronic computers)  |x Semantics  |2 fast 
650 7 |a Programming languages (Electronic computers)  |x Syntax  |2 fast 
758 |i has work:  |a Nominal sets (Text)  |1 https://id.oclc.org/worldcat/entity/E39PCFV3Dmw4PPFmjd4FqDMK8d  |4 https://id.oclc.org/worldcat/ontology/hasWork 
776 0 8 |i Print version:  |a Pitts, A.M. (Andrew M.).  |t Nominal sets  |z 9781107017788 
830 0 |a Cambridge tracts in theoretical computer science ;  |v 57. 
856 4 0 |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=1357339  |z Texto completo 
938 |a Askews and Holts Library Services  |b ASKH  |n AH34848898 
938 |a Askews and Holts Library Services  |b ASKH  |n AH34205701 
938 |a Askews and Holts Library Services  |b ASKH  |n AH37561677 
938 |a Askews and Holts Library Services  |b ASKH  |n AH26385879 
938 |a EBL - Ebook Library  |b EBLB  |n EBL1357339 
938 |a ebrary  |b EBRY  |n ebr10718516 
938 |a EBSCOhost  |b EBSC  |n 574874 
938 |a YBP Library Services  |b YANK  |n 10762277 
938 |a YBP Library Services  |b YANK  |n 10745676 
938 |a YBP Library Services  |b YANK  |n 10858981 
938 |a YBP Library Services  |b YANK  |n 11086987 
994 |a 92  |b IZTAP