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