Nominal sets: names and symmetry in computer science
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Cambridge Univ. Press
2013
|
| Ausgabe: | 1. publ. |
| Schriftenreihe: | Cambridge tracts in theoretical computer science
57 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XIII, 276 S. |
| ISBN: | 9781107017788 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV041086492 | ||
| 003 | DE-604 | ||
| 005 | 20150422 | ||
| 007 | t | ||
| 008 | 130613s2013 |||| 00||| eng d | ||
| 016 | 7 | |a 016284470 |2 DE-101 | |
| 020 | |a 9781107017788 |c hbk |9 978-1-107-01778-8 | ||
| 035 | |a (OCoLC)854727061 | ||
| 035 | |a (DE-599)HBZHT017639470 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-473 |a DE-29T | ||
| 084 | |a ST 240 |0 (DE-625)143625: |2 rvk | ||
| 100 | 1 | |a Pitts, Andrew M. |d 1956- |e Verfasser |0 (DE-588)1069892432 |4 aut | |
| 245 | 1 | 0 | |a Nominal sets |b names and symmetry in computer science |c Andrew M. Pitts |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge |b Cambridge Univ. Press |c 2013 | |
| 300 | |a XIII, 276 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Cambridge tracts in theoretical computer science |v 57 | |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Syntax |0 (DE-588)4058779-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Semantik |0 (DE-588)4054490-4 |2 gnd |9 rswk-swf |
| 653 | |a Programming languages (Electronic computers)--Semantics. | ||
| 653 | |a Programming languages (Electronic computers)--Syntax. | ||
| 689 | 0 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | 1 | |a Syntax |0 (DE-588)4058779-4 |D s |
| 689 | 0 | 2 | |a Semantik |0 (DE-588)4054490-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Cambridge tracts in theoretical computer science |v 57 |w (DE-604)BV000754528 |9 57 | |
| 856 | 4 | 2 | |m Digitalisierung UB Bamberg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026063175&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-026063175 | ||
Datensatz im Suchindex
| _version_ | 1804150460505915392 |
|---|---|
| adam_text | Contents
Prejdi
ť
Introduction
0.1
Atomie
naines
0.2
Support
and freshness
0.3
Abstract syntax with binders
0.4
Name abstraction
0.5
Orbit-iiniteness
0.6
Alternative formulations
0.7
Prerequisites
0.8
Notation
page
xi
1
1
2
3
4
5
6
7
8
PART ONE THEORY II
13
13
15
17
17
19
22
23
24
27
27
29
29
33
Permutations
1.1
The category of C-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
Support
2.1
The category of nominal sets
2.2
Products and coproducts
(
oHIClìIS
2.3
Naturili
numbers
2.4
Functions
2.5
1 )
er
sets
2.6
1
- M
-sets
2.7
(ai
1
urc ol
choice
2.
S
Partial Inactions
2.9
(Quotient sets
2.10
Non-linite support
Hxerc
і
ses
vin
35
35
37
40
43
44
45
46
47
Freshness -^
3.1
Freshness relation -W
3.2
Freshness quantifier
51
3.3
Fresh names
■ 1-
3.4
Separateti
product
54
Exercises
57
Name abstraction
59
4.1
»-Equivalence
59
4.2
Nominal set of name abstractions
61
4.3
Concretion
64
4.4
Functoriality
65
4.5
Freshness condition for binders
69
4.6
Generalized name abstraction
71
4.7
Many sorts of names
74
Exercises
75
Orbit-finiteness
78
5.1
Orbits
79
5.2
Atomic nominal sets
81
5.3
Finitely presentable objects
84
5.4
Orbit-finite subsets
88
5.5
Uniformly supported subsets
91
Exercises
93
Equivalents of
Nom
95
6.1
Sets with name swapping
95
6.2
Continuous G-sets
97
6.3
The Schanuel
topos
98
6.4
Named sets
105
Exercises
í
09
7.1
Inductively defined subsets
7.2
Rule induction
7.3
Equivarianl
rules
7.4
Tarski s
lixed-point theorem
7.5
Ειμί
і
vari
ant fixed-points
7.6
Coinductively
dcľmed
subsets
Exercises
Nominal
algebraic data types
8.1
Signatures
8.2
o-Equivalence
8.3
Algebraic functors
8.4
Initial algebra semantics
8.5
Primitive recursion
8.6
Induction
Co/items
ix
PART TWO
APPLICATIONS
111
Inductive and coinductive definitions
113
113
114
115
123
124
126
128
129
129
132
135
137
142
147
Exercises
151
9
Locally scoped names
153
9.1
The category of nominal restriction sets
153
9.2
Products and coproducts
156
9.3
Functions
157
9.4
.iv-Calculus
161
9.5
Free nominal restriction scls
165
9.6
v-Calculus
170
9.7
Total concretion
172
Exercises
175
10
Functional programming
177
10.1
Types of names
178
10.2
Name abstraction types
180
10.3
Dynamically allocated names
180
10.4
Name swapping
1X1
10.5
Freshness relation
181
10.6
Name abstraction expressions
181
10.7
Name abstraction patterns
182
10.8
Лш .
182
10.9
Type assignment
186
10.10
Contextual equivalence
189
10.11
Step-indexed logical relation
198
10.12
Abstractness
210
χ
Contents
10.13
Purity
214
Exercises
217
11
Domain theory
219
11.1
Nominal
poseis
220
11.2
Discontinuity
ot
name abstraction
221
11.3
Uniform directed complete posets
225
11.4
Recursive domain equations
228
11.5
Nominal Scott domains
234
Exercises
239
12
Computational logic
240
12.1
Unification
240
12.2
Term rewriting
250
12.3
Logic programming
253
Exercises
256
References
257
Index of notation
269
Index
272
|
| any_adam_object | 1 |
| author | Pitts, Andrew M. 1956- |
| author_GND | (DE-588)1069892432 |
| author_facet | Pitts, Andrew M. 1956- |
| author_role | aut |
| author_sort | Pitts, Andrew M. 1956- |
| author_variant | a m p am amp |
| building | Verbundindex |
| bvnumber | BV041086492 |
| classification_rvk | ST 240 |
| ctrlnum | (OCoLC)854727061 (DE-599)HBZHT017639470 |
| discipline | Informatik |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01780nam a2200433zcb4500</leader><controlfield tag="001">BV041086492</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150422 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">130613s2013 |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">016284470</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107017788</subfield><subfield code="c">hbk</subfield><subfield code="9">978-1-107-01778-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)854727061</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)HBZHT017639470</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-29T</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 240</subfield><subfield code="0">(DE-625)143625:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Pitts, Andrew M.</subfield><subfield code="d">1956-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1069892432</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Nominal sets</subfield><subfield code="b">names and symmetry in computer science</subfield><subfield code="c">Andrew M. Pitts</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 276 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Cambridge tracts in theoretical computer science</subfield><subfield code="v">57</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Syntax</subfield><subfield code="0">(DE-588)4058779-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Programming languages (Electronic computers)--Semantics.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Programming languages (Electronic computers)--Syntax.</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Syntax</subfield><subfield code="0">(DE-588)4058779-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Cambridge tracts in theoretical computer science</subfield><subfield code="v">57</subfield><subfield code="w">(DE-604)BV000754528</subfield><subfield code="9">57</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bamberg</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026063175&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026063175</subfield></datafield></record></collection> |
| id | DE-604.BV041086492 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T00:39:17Z |
| institution | BVB |
| isbn | 9781107017788 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026063175 |
| oclc_num | 854727061 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-29T |
| owner_facet | DE-473 DE-BY-UBG DE-29T |
| physical | XIII, 276 S. |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| series | Cambridge tracts in theoretical computer science |
| series2 | Cambridge tracts in theoretical computer science |
| spelling | Pitts, Andrew M. 1956- Verfasser (DE-588)1069892432 aut Nominal sets names and symmetry in computer science Andrew M. Pitts 1. publ. Cambridge Cambridge Univ. Press 2013 XIII, 276 S. txt rdacontent n rdamedia nc rdacarrier Cambridge tracts in theoretical computer science 57 Programmiersprache (DE-588)4047409-4 gnd rswk-swf Syntax (DE-588)4058779-4 gnd rswk-swf Semantik (DE-588)4054490-4 gnd rswk-swf Programming languages (Electronic computers)--Semantics. Programming languages (Electronic computers)--Syntax. Programmiersprache (DE-588)4047409-4 s Syntax (DE-588)4058779-4 s Semantik (DE-588)4054490-4 s DE-604 Cambridge tracts in theoretical computer science 57 (DE-604)BV000754528 57 Digitalisierung UB Bamberg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026063175&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Pitts, Andrew M. 1956- Nominal sets names and symmetry in computer science Cambridge tracts in theoretical computer science Programmiersprache (DE-588)4047409-4 gnd Syntax (DE-588)4058779-4 gnd Semantik (DE-588)4054490-4 gnd |
| subject_GND | (DE-588)4047409-4 (DE-588)4058779-4 (DE-588)4054490-4 |
| title | Nominal sets names and symmetry in computer science |
| title_auth | Nominal sets names and symmetry in computer science |
| title_exact_search | Nominal sets names and symmetry in computer science |
| title_full | Nominal sets names and symmetry in computer science Andrew M. Pitts |
| title_fullStr | Nominal sets names and symmetry in computer science Andrew M. Pitts |
| title_full_unstemmed | Nominal sets names and symmetry in computer science Andrew M. Pitts |
| title_short | Nominal sets |
| title_sort | nominal sets names and symmetry in computer science |
| title_sub | names and symmetry in computer science |
| topic | Programmiersprache (DE-588)4047409-4 gnd Syntax (DE-588)4058779-4 gnd Semantik (DE-588)4054490-4 gnd |
| topic_facet | Programmiersprache Syntax Semantik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026063175&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000754528 |
| work_keys_str_mv | AT pittsandrewm nominalsetsnamesandsymmetryincomputerscience |