Nominal sets : names and symmetry in computer science / by Andrew M. Pitts.

The first detailed account of the basic theory and applications of nominal sets.

Saved in:
Bibliographic Details
Main Author: Pitts, A. M. (Andrew M.) (Author)
Format: eBook
Language:English
Published: Cambridge : Cambridge University Press, 2013.
Series:Cambridge tracts in theoretical computer science ; 57.
Subjects:
Online Access:Click for online access