Isomorphisms of Types: from ?-calculus to information retrieval and language design Progress in Theoretical Computer Science Autor Roberto DiCosmo 16 sep 2011 Paperback Preț: 374.49 lei 6-8 săpt.
