Langue: anglais
Edité par Cambridge University Press, 2008
ISBN 10 : 0521054222 ISBN 13 : 9780521054225
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 51,07
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Langue: anglais
Edité par Cambridge University Press, 2008
ISBN 10 : 0521054222 ISBN 13 : 9780521054225
Vendeur : California Books, Miami, FL, Etats-Unis
EUR 53,39
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Langue: anglais
Edité par Cambridge University Press, 2008
ISBN 10 : 0521054222 ISBN 13 : 9780521054225
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 53,30
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Langue: anglais
Edité par Cambridge University Press, Cambridge, 2008
ISBN 10 : 0521054222 ISBN 13 : 9780521054225
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Edition originale
EUR 57,76
Quantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail. By concentrating on the principles that make the theory work in practice, the author covers all the key ideas without getting involved in the complications of more advanced systems. This book takes a type-assignment approach to type theory, and the system considered is the simplest polymorphic one. The author covers all the basic ideas, including the system's relation to propositional logic, and gives a careful treatment of the type-checking algorithm that lies at the heart of every such system. Also featured are two other interesting algorithms that until now have been buried in inaccessible technical literature. The mathematical presentation is rigorous but clear, making it the first book at this level that can be used as an introduction to type theory for computer scientists. Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail.The author covers all the basic ideas, including the system's relation to propositional logic, and gives a careful treatment of the type-checking algorithm which lies at the heart of every such system.The mathematical presentation is rigorous but clear, making it the first book at this level which can be used as an introduction to type theory for computer scientists. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Langue: anglais
Edité par Cambridge University Press, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Vendeur : Bay State Book Company, North Smithfield, RI, Etats-Unis
EUR 58,16
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : very_good.
Langue: anglais
Edité par Cambridge University Press 2008-08-21, 2008
ISBN 10 : 0521054222 ISBN 13 : 9780521054225
Vendeur : Chiron Media, Wallingford, Royaume-Uni
EUR 47,62
Quantité disponible : 10 disponible(s)
Ajouter au panierPaperback. Etat : New.
Langue: anglais
Edité par Cambridge University Press, 2008
ISBN 10 : 0521054222 ISBN 13 : 9780521054225
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 49,84
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Langue: anglais
Edité par Cambridge University Press, 2008
ISBN 10 : 0521054222 ISBN 13 : 9780521054225
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 49,83
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Langue: anglais
Edité par Cambridge University Press, 1997
ISBN 10 : 0521465184 ISBN 13 : 9780521465182
Vendeur : Better World Books Ltd, Dunfermline, Royaume-Uni
Edition originale
EUR 62,73
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. 1st Edition. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Langue: anglais
Edité par Cambridge University Press CUP, 2008
ISBN 10 : 0521054222 ISBN 13 : 9780521054225
Vendeur : Books Puddle, New York, NY, Etats-Unis
EUR 69,47
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 200.
Vendeur : Chiron Media, Wallingford, Royaume-Uni
EUR 56,39
Quantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 58,46
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Langue: anglais
Edité par Cambridge University Press, 2008
ISBN 10 : 0521054222 ISBN 13 : 9780521054225
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 56,26
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Langue: anglais
Edité par Cambridge University Press, 1997
ISBN 10 : 0521465184 ISBN 13 : 9780521465182
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
EUR 81,06
Quantité disponible : 1 disponible(s)
Ajouter au panierhardcover. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Langue: anglais
Edité par Cambridge University Press, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 87,82
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Langue: anglais
Edité par Cambridge University Press, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Vendeur : California Books, Miami, FL, Etats-Unis
EUR 90,14
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Langue: anglais
Edité par Cambridge University Press, Cambridge, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
EUR 96,42
Quantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : new. Hardcover. Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors' previous book served as the main reference for introductory courses on lambda-calculus for over 20 years: this version is thoroughly revised and offers an account of the subject with the same authoritative exposition. The grammar and basic properties of both combinatory logic and lambda-calculus are discussed, followed by an introduction to type-theory. Typed and untyped versions of the systems, and their differences, are covered. Lambda-calculus models, which lie behind much of the semantics of programming languages, are also explained in depth. The treatment is as non-technical as possible, with the main ideas emphasized and illustrated by examples. Many exercises are included, from routine to advanced, with solutions to most at the end of the book. This book gives an account of combinatory logic and lambda-calculus. The grammar and basic properties of both systems are discussed, followed by explanations of type-theory and lambda-calculus models. The treatment is as non-technical as possible with many examples and exercises. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Langue: anglais
Edité par Cambridge University Press, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 85,54
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Langue: anglais
Edité par Cambridge University Press, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 85,53
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Langue: anglais
Edité par Cambridge University Press, 1997
ISBN 10 : 0521465184 ISBN 13 : 9780521465182
Vendeur : Fireside Bookshop, Stroud, GLOS, Royaume-Uni
Membre d'association : PBFA
EUR 76,57
Quantité disponible : 1 disponible(s)
Ajouter au panierCloth. Etat : Very Good. Type: Book N.B. Small plain label to inside front cover. Slight rubbing to corners of boards and head and tail of spine.
Langue: anglais
Edité par Cambridge University Press, GB, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
EUR 113,37
Quantité disponible : Plus de 20 disponibles
Ajouter au panierHardback. Etat : New. Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors' previous book served as the main reference for introductory courses on lambda-calculus for over 20 years: this version is thoroughly revised and offers an account of the subject with the same authoritative exposition. The grammar and basic properties of both combinatory logic and lambda-calculus are discussed, followed by an introduction to type-theory. Typed and untyped versions of the systems, and their differences, are covered. Lambda-calculus models, which lie behind much of the semantics of programming languages, are also explained in depth. The treatment is as non-technical as possible, with the main ideas emphasized and illustrated by examples. Many exercises are included, from routine to advanced, with solutions to most at the end of the book.
Langue: anglais
Edité par Springer Berlin Heidelberg, 1997
ISBN 10 : 3540626883 ISBN 13 : 9783540626886
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 53,49
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, held in Nancy, France, in April 1997.The 24 revised full papers presented in the book were carefully selected from a total of 54 submissions. The book reports the main research advances achieved in the area of typed lambda calculi since the predecessor conference, held in 1995, and competently reflects the state of the art in the area.
Langue: anglais
Edité par Cambridge University Press, 1997
ISBN 10 : 0521465184 ISBN 13 : 9780521465182
Vendeur : California Books, Miami, FL, Etats-Unis
EUR 132,15
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Langue: anglais
Edité par Cambridge University Press, 2008
ISBN 10 : 0521054222 ISBN 13 : 9780521054225
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 70,98
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail.The author covers all the basic ideas, including the system's relation to propositional logic, and gives a careful treatment of the type-checking algorithm which lies at the heart of every such system.The mathematical presentation is rigorous but clear, making it the first book at this level which can be used as an introduction to type theory for computer scientists.
Langue: anglais
Edité par Cambridge University Press, 1997
ISBN 10 : 0521465184 ISBN 13 : 9780521465182
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 124,06
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Langue: anglais
Edité par Cambridge University Press, Cambridge, 1997
ISBN 10 : 0521465184 ISBN 13 : 9780521465182
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
EUR 140,61
Quantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : new. Hardcover. Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail. By concentrating on the principles that make the theory work in practice, the author covers all the key ideas without getting involved in the complications of more advanced systems. This book takes a type-assignment approach to type theory, and the system considered is the simplest polymorphic one. The author covers all the basic ideas, including the system's relation to propositional logic, and gives a careful treatment of the type-checking algorithm that lies at the heart of every such system. Also featured are two other interesting algorithms that until now have been buried in inaccessible technical literature. The mathematical presentation is rigorous but clear, making it the first book at this level that can be used as an introduction to type theory for computer scientists. Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail.The author covers all the basic ideas, including the system's relation to propositional logic, and gives a careful treatment of the type-checking algorithm which lies at the heart of every such system.The mathematical presentation is rigorous but clear, making it the first book at this level which can be used as an introduction to type theory for computer scientists. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Langue: anglais
Edité par Cambridge University Press, GB, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Vendeur : Rarewaves.com UK, London, Royaume-Uni
EUR 106,32
Quantité disponible : Plus de 20 disponibles
Ajouter au panierHardback. Etat : New. Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors' previous book served as the main reference for introductory courses on lambda-calculus for over 20 years: this version is thoroughly revised and offers an account of the subject with the same authoritative exposition. The grammar and basic properties of both combinatory logic and lambda-calculus are discussed, followed by an introduction to type-theory. Typed and untyped versions of the systems, and their differences, are covered. Lambda-calculus models, which lie behind much of the semantics of programming languages, are also explained in depth. The treatment is as non-technical as possible, with the main ideas emphasized and illustrated by examples. Many exercises are included, from routine to advanced, with solutions to most at the end of the book.
Langue: anglais
Edité par Cambridge University Press, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 117,84
Quantité disponible : 1 disponible(s)
Ajouter au panierBuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors' previous book served as the main reference for introductory courses on lambda-calculus for over 20 years: this version is thoroughly revised and offers an account of the subject with the same authoritative exposition. The grammar and basic properties of both combinatory logic and lambda-calculus are discussed, followed by an introduction to type-theory. Typed and untyped versions of the systems, and their differences, are covered. Lambda-calculus models, which lie behind much of the semantics of programming languages, are also explained in depth. The treatment is as non-technical as possible, with the main ideas emphasized and illustrated by examples. Many exercises are included, from routine to advanced, with solutions to most at the end of the book.
Langue: anglais
Edité par Cambridge University Press, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 176,69
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Langue: anglais
Edité par Cambridge University Press, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
EUR 167,28
Quantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.