Home/Producten/Nominal Sets: Names and Symmetry in Computer Science

Beschrijving

Over dit product

Nominal Sets gives a detailed account of this new approach to the syntax and semantics of programming languages based on symmetries of names. Covering theory and applications, the book will be welcomed by researchers and graduate students in theoretical computer science.

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.

Boekdetails

Serie
Cambridge Tracts in Theoretical Computer Science
Ondertitel
Cambridge Tracts in Theoretical Computer Science
Formaat
Hardback
Uitgever
Cambridge University Press
Imprint
Cambridge University Press
Auteur
Andrew M. Pitts (University of Cambridge), Cambridge University Press, Cambridge University Press
ISBN-13
9781107017788
Verschijningsdatum
2013-05-30
Afmetingen
156 mm × 235 mm × 20 mm
Gewicht
550 g
Land van herkomst
US

Hardback

Nominal Sets: Names and Symmetry in Computer Science

door Andrew M. Pitts (University of Cambridge)

€ 83,00
Op voorraad14 werkdagen
Gratis verzending30 dagen bedenktijd
1

Gratis verzending

vanaf €20

30 dagen retour

zonder gedoe

Veilig betalen via iDEAL of Klarna

iDEAL · Klarna

Thuiswinkel Waarborg

Waarom je dit mooi vindt

  • Premium kwaliteit, zorgvuldig geselecteerd
  • Snelle levering, morgen in huis
  • Eenvoudig retourneren binnen 30 dagen
  • Veilig betalen via iDEAL of Klarna

MYBOEKEN

  • Algemene voorwaarden
  • Bedrijfsgegevens
  • Over Myboeken
  • Keurmerk
  • Klantenservice
  • Contact
  • Privacy
  • Gids
  • Volg bestelling

INFORMATIE

  • Bestellen
  • Bezorgen
  • Betalen
  • Retour
  • Veelgestelde vragen
  • Garantie & Klachten
  • Zakelijke bestellingen
  • Blogs

CONTACT

Effect 4, 6921 RV Duiven
026-2074646
10:00 – 16:00
[email protected]
0638045945

Nieuwsbrief

Ontvang de beste aanbiedingen en tips

PAYMENT

Bancontact
Direct bank
iDEAL
Klarna
PayPal
SOFORT
Visa

VOLG ONS

Strips & MangaKunst & fotografieKinderboekenStudie & WetenschapLevensstijlOverige
Thuiswinkel Waarborg
myboeken.nl

Myboeken is dé online boekwinkel voor zorgvuldig geselecteerde boeken. Snelle levering in Nederland & Europa.

PrivacyAlgemene Voorwaarden
© 2026 MYBOEKEN
myboeken.nl
BestsellersOfferteAanbiedingen
0
CategorieënBestsellersOfferteAanbiedingen

Populaire zoekopdrachten

Berserk Deluxe Volume 1

Berserk Deluxe Volume 1

9781506711980

Throne of Glass Box Set (Paperback): The complete series in paperback from the author of ACOTAR

Throne of Glass Box Set (Paperback): The complete series in paperback from the author of ACOTAR

9781526650535

The Hobbit and the Lord of the Rings

The Hobbit and the Lord of the Rings

9780544445789

Snel naar

Nieuwe releasestrending-on-tiktokCadeau-ideeën

Trending now

Berserk Deluxe Volume 1

Berserk Deluxe Volume 1

Kentaro Miura

Mistborn Trilogy Boxed Set: Mistborn, The Well of Ascension, The Hero of Ages

Mistborn Trilogy Boxed Set: Mistborn, The Well of Ascension, The Hero of Ages

Brandon Sanderson

The Lord of the Rings Deluxe Illustrated by the Author: Special Edition

The Lord of the Rings Deluxe Illustrated by the Author: Special Edition

J R R Tolkien

Vagabond (VIZBIG Edition), Vol. 2: Enlightenment: Volume 2

Vagabond (VIZBIG Edition), Vol. 2: Enlightenment: Volume 2

Takehiko Inoue

0
Home
0
Cart

Aanbevolen

Misschien vind je dit ook leuk

Bekijk meer
Berserk Deluxe Volume 1

Kentaro Miura

Berserk Deluxe Volume 1

€ 44,10

Throne of Glass Box Set (Paperback): The complete series in paperback from the author of ACOTAR

Sarah J. Maas

Throne of Glass Box Set (Paperback): The complete series in paperback from the author of ACOTAR

€ 72,00

The Hobbit and the Lord of the Rings

J. R. R. Tolkien

The Hobbit and the Lord of the Rings

€ 52,20

Invincible Compendium Volume 1

Robert Kirkman || Cory Walker || Ryan Ottley

Invincible Compendium Volume 1

€ 56,70

The Lord of the Rings Deluxe Illustrated by the Author: Special Edition

J R R Tolkien

The Lord of the Rings Deluxe Illustrated by the Author: Special Edition

€ 160,20

Vagabond (VIZBIG Edition), Vol. 3: One With Heaven and Earth: Volume 3

Takehiko Inoue

Vagabond (VIZBIG Edition), Vol. 3: One With Heaven and Earth: Volume 3

€ 23,40

Vagabond (VIZBIG Edition), Vol. 7: Volume 7

Takehiko Inoue

Vagabond (VIZBIG Edition), Vol. 7: Volume 7

€ 23,40

The Six of Crows Duology Boxed Set: Six of Crows and Crooked Kingdom

Leigh Bardugo

The Six of Crows Duology Boxed Set: Six of Crows and Crooked Kingdom

€ 36,00

Finale: A Caraval Novel

Stephanie Garber

Finale: A Caraval Novel

€ 18,00

The First Law Trilogy

Joe Abercrombie

The First Law Trilogy

€ 53,10

Serie & gerelateerd

Meer over Cambridge

Bekijk meer
Cambridge Springs 1904

Robert Sherwood || Andy Soltis

Cambridge Springs 1904

€ 41,12

Cambridge Retrospect

Terrot Reaveley Glover

Cambridge Retrospect

€ 39,53

Patriot's day Celebration at Cambridge, Mass., April 19th, 1921. Also an Address on the True American Flag the Cambridge Flag

Cambridge Cambridge

Patriot's day Celebration at Cambridge, Mass., April 19th, 1921. Also an Address on the True American Flag the Cambridge Flag

€ 26,71

The Register Book of the Lands and Houses in the New Towne and the Town of Cambridge with the Records of the Proprietors of the Common Lands: Being the Records Generally Called the Proprietors' Records

Cambridge Cambridge

The Register Book of the Lands and Houses in the New Towne and the Town of Cambridge with the Records of the Proprietors of the Common Lands: Being the Records Generally Called the Proprietors' Records

€ 0,00

Cambridge Seventy-Five Years a City, 1846-1921. a Brief Account of the Interesting Events in Connection with the Celebration of the Seventy-Fifth Anniversary of the City of Cambridge, Massachusetts, October 9-11-12, 1921

Cambridge Cambridge

Cambridge Seventy-Five Years a City, 1846-1921. a Brief Account of the Interesting Events in Connection with the Celebration of the Seventy-Fifth Anniversary of the City of Cambridge, Massachusetts, October 9-11-12, 1921

€ 0,00

The Register Book of the Lands and Houses in the "New Towne" and the Town of Cambridge With the Records of the Proprietors of the Common Lands: Being the Records Generally Called "The Proprietors' Records"

Cambridge Cambridge

The Register Book of the Lands and Houses in the "New Towne" and the Town of Cambridge With the Records of the Proprietors of the Common Lands: Being the Records Generally Called "The Proprietors' Records"

€ 61,69

Exercises in Celebrating the two Hundred and Fiftieth Anniversary of the Settlement of Cambridge, Held December 28, 1880

Cambridge Cambridge

Exercises in Celebrating the two Hundred and Fiftieth Anniversary of the Settlement of Cambridge, Held December 28, 1880

€ 33,70

Exercises in Celebrating the two Hundred and Fiftieth Anniversary of the Settlement of Cambridge, Held December 28, 1880

Cambridge Cambridge

Exercises in Celebrating the two Hundred and Fiftieth Anniversary of the Settlement of Cambridge, Held December 28, 1880

€ 51,89

Patriot's day Celebration at Cambridge, Mass., April 19th, 1921. Also an Address on the True American Flag the Cambridge Flag

Cambridge Cambridge

Patriot's day Celebration at Cambridge, Mass., April 19th, 1921. Also an Address on the True American Flag the Cambridge Flag

€ 44,90

The Records of the Town of Cambridge (formerly Newtowne) Massachusetts. 1630-1703

Cambridge Cambridge

The Records of the Town of Cambridge (formerly Newtowne) Massachusetts. 1630-1703

€ 61,93