Cargando…
Nominal sets : names and symmetry in computer science /
The first detailed account of the basic theory and applications of nominal sets.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| 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 | ||