Nominal Sets : (Record no. 37585)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 01829nam a22003137a 4500 |
001 - CONTROL NUMBER | |
control field | sulb-eb0015741 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | BD-SySUS |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20160405134443.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 110506s2013||||enk o ||1 0|eng|d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9781139084673 (ebook) |
Canceled/invalid ISBN | 9781107017788 (hardback) |
040 ## - CATALOGING SOURCE | |
Original cataloging agency | UkCbUP |
Language of cataloging | eng |
Description conventions | rda |
Transcribing agency | UkCbUP |
050 00 - LIBRARY OF CONGRESS CALL NUMBER | |
Classification number | QA76.7 |
Item number | .P555 2013 |
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 005.13 |
Edition number | 23 |
100 1# - MAIN ENTRY--PERSONAL NAME | |
Personal name | Pitts, Andrew M., |
Relator term | author. |
245 10 - TITLE STATEMENT | |
Title | Nominal Sets : |
Remainder of title | Names and Symmetry in Computer Science / |
Statement of responsibility, etc. | Andrew M. Pitts. |
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
Place of production, publication, distribution, manufacture | Cambridge : |
Name of producer, publisher, distributor, manufacturer | Cambridge University Press, |
Date of production, publication, distribution, manufacture, or copyright notice | 2013. |
300 ## - PHYSICAL DESCRIPTION | |
Extent | 1 online resource (287 pages) : |
Other physical details | digital, PDF file(s). |
336 ## - CONTENT TYPE | |
Content type term | text |
Content type code | txt |
Source | rdacontent |
337 ## - MEDIA TYPE | |
Media type term | computer |
Media type code | c |
Source | rdamedia |
338 ## - CARRIER TYPE | |
Carrier type term | online resource |
Carrier type code | cr |
Source | rdacarrier |
490 0# - SERIES STATEMENT | |
Series statement | Cambridge Tracts in Theoretical Computer Science ; |
Volume/sequential designation | 57 |
500 ## - GENERAL NOTE | |
General note | Title from publisher's bibliographic system (viewed on 04 Apr 2016). |
520 ## - SUMMARY, ETC. | |
Summary, etc. | Nominal sets provide a promising new mathematical analysis of names in formal languages based upon symmetry, with many applications to the syntax and semantics of programming language constructs that involve binding, or localising names. Part I provides an introduction to the basic theory of nominal sets. In Part II, the author surveys some of the applications that have developed in programming language semantics (both operational and denotational), functional programming and logic programming. As the first book to give a detailed account of the theory of nominal sets, it will be welcomed by researchers and graduate students in theoretical computer science. |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
Relationship information | Print version: |
International Standard Book Number | 9781107017788 |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
Uniform title | Cambridge Tracts in Theoretical Computer Science ; |
Volume number/sequential designation | 57. |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | <a href="http://dx.doi.org/10.1017/CBO9781139084673">http://dx.doi.org/10.1017/CBO9781139084673</a> |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Source of classification or shelving scheme | |
Koha item type |
No items available.