search for books and compare prices
Andrew M. Pitts has written 6 work(s)
Search for other authors with the same name
displaying 1 to 6 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9781107017788 Cover for 9780521631686 Cover for 9780521580571 Cover for 9780521118460 Cover for 9780521427265 Cover for 9780387516622
Nominal Sets: Names and Symmetry in Computer Science
cover image for 9781107017788
Product 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...read more
By Andrew M. Pitts
See complete details on each edition (1 edition listed)

Hardcover:

9781107017788 | Cambridge Univ Pr, July 15, 2013, cover price $99.99 | About this edition: 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.

Automata, Languages, and Programming: Proceedings of the 39th International Colloquium, Icalp 2012, Warwick, Uk, July 9-13, 2012
By Artur Czumaj (editor), Kurt Mehlhorn (editor), Andrew M. Pitts (editor) and Roger Wattenhofer (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783642315848 | Springer Verlag, July 1, 2012, cover price $119.00

Higher Order Operational Techniques in Semantics
cover image for 9780521631686
(view table of contents)
By Andrew D. Gordon (editor), Isaac Newton Institute for Mathematical Sciences (corporate author) and Andrew M. Pitts (editor)
See complete details on each edition (1 edition listed)

Hardcover:

9780521631686 | Cambridge Univ Pr, June 1, 1998, cover price $179.99

Semantics and Logics of Computation
cover image for 9780521118460
Product Description: This accessible and comprehensive volume addresses modern developments in semantics and logic of computation and will be an important source for graduate students and researchers working in this area.
By Peter Dybjer (editor) and Andrew M. Pitts (editor)
See complete details on each edition (2 editions listed)

Hardcover:

9780521580571 | Cambridge Univ Pr, February 28, 1997, cover price $139.99

Paperback:

9780521118460 | 1 edition (Cambridge Univ Pr, August 20, 2009), cover price $64.99 | About this edition: This accessible and comprehensive volume addresses modern developments in semantics and logic of computation and will be an important source for graduate students and researchers working in this area.

Applications of Categories in Computer Science
cover image for 9780521427265
Product Description: Applications of category theory and related topics of mathematics to computer science have been a growing area in recent years. This book contains selected papers on the subject from the London Mathematical Society Symposium held at the University of Durham in July 1991. (view table of contents, read Amazon.com's description)
By M. P. Fourman, P. T. Johnstone and Andrew M. Pitts (editor)
See complete details on each edition (1 edition listed)

Paperback:

9780521427265 | Cambridge Univ Pr, November 1, 1992, cover price $124.99 | About this edition: Applications of category theory and related topics of mathematics to computer science have been a growing area in recent years.

Category Theory and Computer Science: Manchester, Uk, September 5-8, 1989 Proceedings
cover image for 9780387516622
Product Description: This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading to a solid basis for much of the understanding of the semantics of computation...read more
By P. Dybjer, D. H. Pitt, Andrew M. Pitts, A. Poigne and D. E. Rydeheard
See complete details on each edition (1 edition listed)

Paperback:

9780387516622 | Springer Verlag, October 1, 1989, cover price $44.95 | About this edition: This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.

displaying 1 to 6 | at end