header.popularSearches
header.quickLinks
Trending now
Beschrijving
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.
Aanbevolen
Kentaro Miura
€ 44,10
Sarah J. Maas
€ 72,00
J. R. R. Tolkien
€ 49,50
Brandon Sanderson
€ 29,70
George R. R. Martin
€ 59,40
Robert Kirkman || Cory Walker || Ryan Ottley
€ 62,10
Mark Douglas
€ 46,80
Brandon Sanderson
€ 34,20
J R R Tolkien
€ 160,20
Takehiko Inoue
€ 21,60
Serie & gerelateerd
Robert Sherwood || Andy Soltis
Cambridge Springs 1904
€ 41,12
Mike Smith || Sue Kearsey || Jackie Clegg || Gareth Price
Cambridge IGCSE™ Biology Student's Book (Collins Cambridge IGCSE™)
€ 45,47
Terrot Reaveley Glover
Cambridge Retrospect
€ 39,53
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
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 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
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
Cambridge Cambridge
Exercises in Celebrating the two Hundred and Fiftieth Anniversary of the Settlement of Cambridge, Held December 28, 1880
€ 33,70
Cambridge Cambridge
Exercises in Celebrating the two Hundred and Fiftieth Anniversary of the Settlement of Cambridge, Held December 28, 1880
€ 51,89
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
