Nominal Sets

Names And Symmetry In Computer Science

by Andrew M. (University Of Cambridge) Pitts
language: english
Publisher: CAMBRIDGE UNIVERSITY PRESS, May of 2013 ‧
OUT OF STOCK OR NOT AVAILABLE
Sell ​​your book
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

Names And Symmetry In Computer Science

by Andrew M. (University Of Cambridge) Pitts

Property Description
ISBN: 9781107017788
Publisher: CAMBRIDGE UNIVERSITY PRESS
Release Date: May of 2013
Language: English
Cover: Hardcover
Pages: 287
Format: Book
Collection: Cambridge Tracts In Theoretical Computer Science
Categories: Books in English > Computing > Other Applications
Books in English > Others
EAN: 9781107017788