Pitts, Andrew

Nominal sets : names and symmentry in computer science - Cambridge Cambridge University Press 2013 - xiii, 276 p. ill. 24 cm.

9781107017788


Programming languages
Symantics
Domain Theory
Computational Logic

005.13 / PIT

Powered by Koha