Nominal Sets: Names and Symmetry in Computer Science by Andrew M. Pitts Back to product details page >