Articles liés à Isomorphisms of Types: from ?-calculus to information...
Isomorphisms of Types: from ?-calculus to information retrieval and language design - Couverture souple
Synopsis
This is a book about isomorphisms 0/ types, arecent difficult research topic in type theory that turned out to be able to have valuable practical applications both for programming language design and far more human- centered information retrieval in software libraries. By means of a deep study of the syntax of the now widely known typed A-ca1culus, it is possible to identify some simple equations between types that on one hand allow to improve the design of the ML language, and on the other hand provide the basis for building radically new information retrieval systems for functional software libraries. We present in this book both the theoretical aspects of these researches and a fully functional implementation of some of their applications in such a way to provide interesting material both for the theoretician looking for proofs and for the practitioner interested in implementation details. In order to make it possible for these different types of readers to use this book effectively, some special signs are used to designate material that is particularly technical or applied or that represents a digression. When the symbol appears at the beginning of a section or a subsection, it warns that the material contained in such section is particularly technical with respect to the general level of the chapter or section where it is located. This material is generally reserved to theoreticians and does not need to be read by the casual reader.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 52,28
EUR 3,42 expédition vers Etats-Unis
Destinations, frais et délaisAutres éditions populaires du même titre
Résultats de recherche pour Isomorphisms of Types: from ?-calculus to information...
Image d'archives
Isomorphisms of Types: from ?-calculus to information retrieval and language design (Progress in Theoretical Computer Science)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar2716030028952
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Isomorphisms of Types : From Calculus to Information Retrieval and Language Design
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 18676424-n
Quantité disponible : 15 disponible(s)
Image d'archives
Isomorphisms of Types (Paperback)
Edité par
Springer-Verlag New York Inc., New York, 2011
ISBN 10 : 1461275857
ISBN 13 : 9781461275855
Neuf
Paperback
Vendeur : Grand Eagle Retail, Mason, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. This is a book about isomorphisms 0/ types, arecent difficult research topic in type theory that turned out to be able to have valuable practical applications both for programming language design and far more human centered information retrieval in software libraries. By means of a deep study of the syntax of the now widely known typed A-ca1culus, it is possible to identify some simple equations between types that on one hand allow to improve the design of the ML language, and on the other hand provide the basis for building radically new information retrieval systems for functional software libraries. We present in this book both the theoretical aspects of these researches and a fully functional implementation of some of their applications in such a way to provide interesting material both for the theoretician looking for proofs and for the practitioner interested in implementation details. In order to make it possible for these different types of readers to use this book effectively, some special signs are used to designate material that is particularly technical or applied or that represents a digression. When the symbol appears at the beginning of a section or a subsection, it warns that the material contained in such section is particularly technical with respect to the general level of the chapter or section where it is located. This material is generally reserved to theoreticians and does not need to be read by the casual reader. This is a book about isomorphisms 0/ types, arecent difficult research topic in type theory that turned out to be able to have valuable practical applications both for programming language design and far more human centered information retrieval in software libraries. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9781461275855
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Isomorphisms of Types : From Calculus to Information Retrieval and Language Design
Edité par
Birkhäuser, 2011
ISBN 10 : 1461275857
ISBN 13 : 9781461275855
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 18676424
Quantité disponible : 15 disponible(s)
Image d'archives
Isomorphisms of Types: from ?-calculus to information retrieval and language design (Progress in Theoretical Computer Science)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9781461275855_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Isomorphisms of Types: from ?-calculus to information retrieval and language design
Edité par
Springer-Verlag New York Inc., 2011
ISBN 10 : 1461275857
ISBN 13 : 9781461275855
Neuf
Paperback / softback
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 384. N° de réf. du vendeur C9781461275855
Quantité disponible : Plus de 20 disponibles
Image d'archives
Isomorphisms of Types: from ?-calculus to information retrieval and language design
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. 2011. Paperback. . . . . . N° de réf. du vendeur V9781461275855
Quantité disponible : 15 disponible(s)
Image fournie par le vendeur
Isomorphisms of Types: From ?-Calculus to Information Retrieval and Language Design
Edité par
Birkhäuser Boston, 2011
ISBN 10 : 1461275857
ISBN 13 : 9781461275855
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. N° de réf. du vendeur 458491913
Quantité disponible : Plus de 20 disponibles
Image d'archives
Isomorphisms of Types: from ?-calculus to information retrieval and language design
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. 2011. Paperback. . . . . . Books ship from the US and Ireland. N° de réf. du vendeur V9781461275855
Quantité disponible : 15 disponible(s)
Image d'archives
Isomorphisms of Types (Paperback)
Edité par
Springer-Verlag New York Inc., New York, 2011
ISBN 10 : 1461275857
ISBN 13 : 9781461275855
Neuf
Paperback
Vendeur : AussieBookSeller, Truganina, VIC, Australie
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. This is a book about isomorphisms 0/ types, arecent difficult research topic in type theory that turned out to be able to have valuable practical applications both for programming language design and far more human centered information retrieval in software libraries. By means of a deep study of the syntax of the now widely known typed A-ca1culus, it is possible to identify some simple equations between types that on one hand allow to improve the design of the ML language, and on the other hand provide the basis for building radically new information retrieval systems for functional software libraries. We present in this book both the theoretical aspects of these researches and a fully functional implementation of some of their applications in such a way to provide interesting material both for the theoretician looking for proofs and for the practitioner interested in implementation details. In order to make it possible for these different types of readers to use this book effectively, some special signs are used to designate material that is particularly technical or applied or that represents a digression. When the symbol appears at the beginning of a section or a subsection, it warns that the material contained in such section is particularly technical with respect to the general level of the chapter or section where it is located. This material is generally reserved to theoreticians and does not need to be read by the casual reader. This is a book about isomorphisms 0/ types, arecent difficult research topic in type theory that turned out to be able to have valuable practical applications both for programming language design and far more human centered information retrieval in software libraries. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. N° de réf. du vendeur 9781461275855
Quantité disponible : 1 disponible(s)