Pitts, Andrew M.

    Nominal sets : names and symmetry in computer science / Andrew M. Pitts.
    Cambridge : Cambridge University Press, 2013. XIII, 276 s. : il. ; 24 cm.
    (Cambridge Tracts in Theoretical Computer Science ; 57)
    (Cambridge Tracts in Theoretical Computer Science ISSN 0956-9103 57)
    ISBN 978-1-107-01778-8

   
T.16691        UKD: 004=111