Order Total (1 Item Items):
Shipping Destination:
Lambda Calculus Combinators Introduction by Hindley Roger (17 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (17)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (12)
- As New, Fine or Near Fine (4)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (17)
- Softcover (No further results match this refinement)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (7)
- Not Print on Demand (12)
Language (1)
Price
- Any Price
- Under £ 20 (No further results match this refinement)
- £ 20 to £ 35 (No further results match this refinement)
- Over £ 35
Free Shipping
Seller Location
Seller Rating
-
Lambda-Calculus and Combinators: An Introduction
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521898854 ISBN 13: 9780521898850
Seller: Bay State Book Company, North Smithfield, RI, U.S.A.
Seller rating 5 out of 5 stars
Condition: very_good.
-
Lambda-Calculus and Combinators : An Introduction
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521898854 ISBN 13: 9780521898850
Condition: New.
-
Lambda-Calculus and Combinators: An Introduction
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521898854 ISBN 13: 9780521898850
Condition: New.
-
Lambda-Calculus and Combinators: An Introduction
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521898854 ISBN 13: 9780521898850
Condition: New.
-
Lambda-Calculus and Combinators: An Introduction (Hardcover)
Language: English
Published by Cambridge University Press, Cambridge, 2008
ISBN 10: 0521898854 ISBN 13: 9780521898850
Hardcover. Condition: 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.
-
Lambda-Calculus and Combinators: An Introduction
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521898854 ISBN 13: 9780521898850
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 72.31
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Lambda-Calculus and Combinators : An Introduction
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521898854 ISBN 13: 9780521898850
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Lambda-Calculus and Combinators : An Introduction
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521898854 ISBN 13: 9780521898850
Condition: As New. Unread book in perfect condition.
-
Lambda-Calculus and Combinators: An Introduction
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521898854 ISBN 13: 9780521898850
Hardcover. Condition: As New. 2nd Edition.
-
Lambda-Calculus and Combinators : An Introduction
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521898854 ISBN 13: 9780521898850
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 110.51
£ 15 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Lambda-Calculus and Combinators: An Introduction
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521898854 ISBN 13: 9780521898850
Hardcover. Condition: Like New. Like New. book.
-
Lambda-Calculus and Combinators : An Introduction
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521898854 ISBN 13: 9780521898850
Buch. Condition: 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.
-
Hardcover. Condition: Brand New. 2nd edition. 360 pages. 9.25x6.00x1.00 inches. In Stock. This item is printed on demand.
-
Lambda-Calculus and Combinators: An Introduction
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521898854 ISBN 13: 9780521898850
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
£ 78.04
£ 17.17 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketHardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
-
Lambda-Calculus and Combinators: An Introduction (Hardcover)
Language: English
Published by Cambridge University Press, Cambridge, 2008
ISBN 10: 0521898854 ISBN 13: 9780521898850
Hardcover. Condition: 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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
-
Lambda-Calculus and Combinators: An Introduction (Hardcover)
Language: English
Published by Cambridge University Press, Cambridge, 2008
ISBN 10: 0521898854 ISBN 13: 9780521898850
Hardcover. Condition: 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. This item is printed on demand. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
-
Lambda-Calculus and Combinators | An Introduction
Language: English
Published by Cambridge University Press, 2013
ISBN 10: 0521898854 ISBN 13: 9780521898850
Buch. Condition: Neu. Lambda-Calculus and Combinators | An Introduction | J. Roger Hindley (u. a.) | Buch | Gebunden | Englisch | 2013 | Cambridge University Press | EAN 9780521898850 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.
