Nominal Sets: Names and Symmetry in Computer Science (Cambridge Tracts in Theoretical Computer Science)

Cambridge

by Andrew M. Pitts

Hardcover

ISBN: 978-1-107-01778-8

ISBN-10: 1-107-01778-5

Cambridge University Press · 2013