Read Nominal Sets: Names and Symmetry in Computer Science (Cambridge Tracts in Theoretical Computer Science, Series Number 57)

Nominal Sets: Names and Symmetry in Computer Science (Cambridge Tracts in Theoretical Computer Science, Series Number 57)

Andrew M. Pitts

4.9/5 (34747 ratings)

Description: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.We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Nominal Sets: Names and Symmetry in Computer Science (Cambridge Tracts in Theoretical Computer Science, Series Number 57). To get started finding Nominal Sets: Names and Symmetry in Computer Science (Cambridge Tracts in Theoretical Computer Science, Series Number 57), you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Pages: —

Format: PDF, EPUB & Kindle Edition

Publisher: —

Release: —

ISBN: 1107017785

Description: 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.We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Nominal Sets: Names and Symmetry in Computer Science (Cambridge Tracts in Theoretical Computer Science, Series Number 57). To get started finding Nominal Sets: Names and Symmetry in Computer Science (Cambridge Tracts in Theoretical Computer Science, Series Number 57), you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Special Offer | $0.00

Special Offer! | $0.00

Nominal Sets: Names and Symmetry in Computer Science (Cambridge Tracts in Theoretical Computer Science, Series Number 57)

Nominal Sets: Names and Symmetry in Computer Science (Cambridge Tracts in Theoretical Computer Science, Series Number 57)

More Books

[(Semantics and Logics of Computation )] [Author: Andrew M. Pitts] [Aug-2009]

[(Semantics and Logics of Computation )] [Author: Andrew M. Pitts] [Aug-2009]

Semantics and Logics of Computation (Publications of the Newton Institute, Series Number 14)

Semantics and Logics of Computation (Publications of the Newton Institute, Series Number 14)

Palace of Culture: Andrew Carnegie's Museums and Library in Pittsburgh

Palace of Culture: Andrew Carnegie's Museums and Library in Pittsburgh

Letters of a Nation

Letters of a Nation

Phantasmagoria Special Edition, Series #5: Karl Edward Wagner

Phantasmagoria Special Edition, Series #5: Karl Edward Wagner

Swords & Sorceries: Tales of Heroic Fantasy Volume 7

Swords & Sorceries: Tales of Heroic Fantasy Volume 7

Festive Mayhem 4

Festive Mayhem 4

The Medical Metropolis: Health Care and Economic Transformation in Pittsburgh and Houston

The Medical Metropolis: Health Care and Economic Transformation in Pittsburgh and Houston

Branch Rickey in Pittsburgh: Baseball's Trailblazing General Manager for the Pirates, 1950-1955

Branch Rickey in Pittsburgh: Baseball's Trailblazing General Manager for the Pirates, 1950-1955