Isomorphisms of Types: from ?-calculus to information retrieval and language design Progress in Theoretical Computer Science Autor Roberto DiCosmo 16 sep 2011 Paperback Preț: 377.72 lei 43-57 zile
