e99 Store Help
Store Home  Search: Books - lambda calculus (Keywords)


Image Size:   Small  Medium  
  • Arts & Photography
  • Biographies & Memoirs
  • Business & Investing
  • Children's Books
  • Comics & Graphic Novels
  • Computers & Internet
  • Cooking, Food & Wine
  • Engineering
  • Entertainment
  • Gay & Lesbian
  • Health, Mind & Body
  • History
  • Home & Garden
  • Horror
  • Law
  • Literature & Fiction
  • Medicine
  • Mystery & Thrillers
  • Nonfiction
  • Outdoors & Nature
  • Parenting & Families
  • Professional & Technical
  • Reference
  • Religion & Spirituality
  • Romance
  • Science
  • Science Fiction & Fantasy
  • Sports
  • Teens
  • Travel
  • 1-10 of 182 Results       Next
    $19.41 (25% off)
    An Introduction to Functional
    $68.60 (22% off)
    Lambda-Calculus and
    $28.00 (0% off)
    The Lambda Calculus.
    $72.95 (0% off)
    The Lambda Calculus,
    $88.21 (5% off)
    Lambda Calculus with
    $9.57
    A Simple Lambda-Calculus
    $29.03 (27% off)
    From Mathematics to
    $50.74 (8% off)
    Structure and Interpretation
    $62.00
    Lambda-calculus, Combinators
    $17.75 (4% off)
    An Introduction to Lambda


    1. An Introduction to Functional Programming Through Lambda Calculus (Dover Books on Mathematics)
    by Greg Michaelson
    List Price:
    Price:
    You Save:
    US$25.95Dover Publications1336809101056401BookABIS_BOOK2011-08-18Dover Publications2011-07-21Dover PublicationsAn Introduction to Functional Programming Through Lambda Calculus (Dover Books on Mathematics)411USD$4.11
    US$19.41
    US$6.54 (25%)
    Category: Paperback (2011-08-18)
    Publisher: Dover Publications
    ISBN: 0486478831
    Sales Rank: 37749
    Lowest New Price: $14.62
    Lowest Used Price: $11.97 (23 Used Items)
    Canada | United Kingdom | Germany | France | Japan

    Product Description

    Functional programming is rooted in lambda calculus, which constitutes the world's smallest programming language. This well-respected text offers an accessible introduction to functional programming concepts and techniques for students of mathematics and computer science. The treatment is as nontechnical as possible, and it assumes no prior knowledge of mathematics or functional programming. Cogent examples illuminate the central ideas, and numerous exercises appear throughout the text, offering reinforcement of key concepts. All problems feature complete solutions.

    ... Read more

    Similar Items:
    1. Purely Functional Data Structures
    2. Learn You a Haskell for Great Good!: A Beginner's Guide
    3. From Mathematics to Generic Programming
    4. Programming in Haskell
    5. Structure and Interpretation of Computer Programs - 2nd Edition (MIT Electrical Engineering and Computer Science)
    6. The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)
    7. Types and Programming Languages (MIT Press)
    8. Functional Programming in Scala
    9. Real World Haskell
    10. The Little Schemer - 4th Edition .


    2. Lambda-Calculus and Combinators: An Introduction
    by J. Roger Hindley, Jonathan P. Seldin
    List Price:
    Price:
    You Save:
    US$88.00Cambridge University Press1358949061375831BookABIS_BOOK2008-08-11Cambridge University PressCambridge University PressLambda-Calculus and Combinators: An Introduction1486USD$14.86
    US$68.60
    US$19.4 (22%)
    Category: Hardcover (2008-08-11)
    Publisher: Cambridge University Press
    ISBN: 0521898854
    Sales Rank: 1081739
    Lowest New Price: $44.00
    Lowest Used Price: $61.00 (15 Used Items)
    Canada | United Kingdom | Germany | France | Japan

    Product Description

    Combinatory logic and lambda-calculus, originally devised in the 1920's, 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 long-awaited new version is thoroughly revised and offers a fully up-to-date 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.

    ... Read more

    Similar Items:
    1. An Introduction to Functional Programming Through Lambda Calculus (Dover Books on Mathematics)
    2. The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)
    3. Purely Functional Data Structures
    4. Types and Programming Languages (MIT Press)
    5. Deep Learning (Adaptive Computation and Machine Learning series)
    6. From Mathematics to Generic Programming
    7. Type Theory and Formal Proof: An Introduction
    8. Computability and Logic
    9. Concrete Mathematics: A Foundation for Computer Science (2nd Edition)
    10. A Mathematical Introduction to Logic, Second Edition .


    3. The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)
    by Henk Barendregt
    List Price:
    Price:
    You Save:
    US$28.00College Publicationsblack & white illustrations1656142921203630black & white illustrationsBookABIS_BOOK2012-04-30College PublicationsCollege PublicationsThe Lambda Calculus. Its Syntax and Semantics (Studies in Logic)250USD$2.50
    US$28.00
    US$0 (0%)
    Category: Paperback Brand: Brand: College Publications
    (2012-04-30)
    Publisher: College Publications
    ISBN: 184890066X
    Sales Rank: 901050
    Lowest New Price: $23.99
    Lowest Used Price: $21.74 (16 Used Items)
    Canada | United Kingdom | Germany | France | Japan

    Product Description

    The Lambda Calculus, treated in this book mainly in its untyped version, consists of a collection of expressions, called lambda terms, together with ways how to rewrite and identify these. In the parts conversion, reduction, theories, and models the view is respectively 'algebraic', computational, with more ('coinductive') identifications, and finally set-theoretic. The lambda terms are built up from variables, using application and abstraction. Applying a term F to M has as intention that F is a function, M its argument, and FM the result of the application. This is only the intention: to actually obtain the result one has to rewrite the expression FM according to the reduction rules. Abstraction provides a way to create functions according to the effect when applying them. The power of the theory comes from the fact that computations, both terminating and infinite, can be expressed by lambda terms at a 'comfortable' level of abstraction.

    ... Read more

    Features:

    • Used Book in Good Condition

    Similar Items:
    1. An Introduction to Functional Programming Through Lambda Calculus (Dover Books on Mathematics)
    2. Purely Functional Data Structures
    3. Types and Programming Languages (MIT Press)
    4. Lambda Calculus with Types (Perspectives in Logic)
    5. Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)
    6. Lambda-Calculus and Combinators: An Introduction
    7. Conceptual Mathematics: A First Introduction to Categories
    8. Type Theory and Formal Proof: An Introduction
    9. Category Theory for the Sciences (MIT Press)
    10. Basic Category Theory for Computer Scientists (Foundations of Computing) .


    4. The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition
    by H.P. Barendregt
    List Price:
    Price:
    You Save:
    US$72.95North Holland1621144900232600BookABIS_BOOK1985-11-15North Holland1985-11-01jp-bk-0444875085-2-2North HollandThe Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition1841USD$18.41
    US$72.95
    US$0 (0%)
    Category: Paperback Brand: Example Product Brand
    (1985-11-15)
    Publisher: North Holland
    ISBN: 0444875085
    Sales Rank: 1086703
    Lowest New Price: $72.95
    Lowest Used Price: $58.36 (11 Used Items)
    Canada | United Kingdom | Germany | France | Japan

    Product Description

    The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications are given of those parts of the book which can be used to form a coherent course.

    ... Read more

    Similar Items:
    1. Introduction to Graph Theory (Dover Books on Mathematics)
    2. Purely Functional Data Structures
    3. Programming in Haskell
    4. From Mathematics to Generic Programming
    5. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory (Computer Science Series)
    6. The Little Prover (MIT Press)
    7. Category Theory (Oxford Logic Guides)
    8. Let Over Lambda
    9. Types and Programming Languages (MIT Press)
    10. Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics) .


    5. Lambda Calculus with Types (Perspectives in Logic)
    by Henk Barendregt, Wil Dekkers, Richard Statman
    List Price:
    Price:
    You Save:
    US$93.00
    US$88.21
    US$4.79 (5%)
    Category: Hardcover Brand: Example Product Brand
    (2013-07-31)
    Publisher: Cambridge University Press
    ISBN: 0521766141
    Sales Rank: 2018935
    Lowest New Price: $76.84
    Lowest Used Price: $70.57 (9 Used Items)
    Canada | United Kingdom | Germany | France | Japan

    Product Description

    This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and was treated in the first author's classic The Lambda Calculus (1984). The formalism has since been extended with types and used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), used in designing and verifying IT products and mathematical proofs. In this book, the authors focus on three classes of typing for lambda terms: simple types, recursive types and intersection types. It is in these three formalisms of terms and types that the unexpected mathematical beauty is revealed. The treatment is authoritative and comprehensive, complemented by an exhaustive bibliography, and numerous exercises are provided to deepen the readers' understanding and increase their confidence using types.

    ... Read more

    Similar Items:
    1. The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)
    2. Type Theory and Formal Proof: An Introduction
    3. An Introduction to Functional Programming Through Lambda Calculus (Dover Books on Mathematics)
    4. Term Rewriting and All That
    5. Topos Theory (Dover Books on Mathematics)
    6. Sets for Mathematics
    7. Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science)
    8. Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics)
    9. Practical Foundations for Programming Languages
    10. Categories for the Working Mathematician (Graduate Texts in Mathematics) .


    6. A Simple Lambda-Calculus Model of Programming Languages (Classic Reprint)
    by S. Kamal Abdali
    List Price:
    Price:
    US$9.57
    US$9.57
    Category: Paperback Brand: Example Product Brand
    (2016-11-16)
    Publisher: Forgotten Books
    ISBN: 1332196020
    Sales Rank: 4654357
    Lowest New Price: $9.57
    Lowest Used Price: $16.03 (1 Used Items)
    Canada | United Kingdom | Germany | France | Japan

    Product Description

    Excerpt from A Simple Lambda-Calculus Model of Programming Languages

    We present a simple correspondence between a large subset of Algol 60 language and lambda-calculus. With the aid of this correspondence, a program can be translated into a single lambda-expression. In general, the representation of a program is specified by means of a system of simultaneous conversion relations among the representations of the program constituents. High-level programming language features are treated directly, not in terms of the representations of machine-level operations. The model includes input-output in such a way that when the representation of a (convergent) program is applied to the input item representations, the resulting combination reduces to a tuple of the representations of the output items. This model does not introduce any imperative notions into the calculus; the descriptive programming constructs, such as expressions, and the imperative ones, such as assignments and jumps, are translated alike into pure lambda-expressions. The applicability of the model to the problems of proving program equivalence and correctness is illustrated by means of simple examples.

    About the Publisher

    Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com

    This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.

    ... Read more


    7. From Mathematics to Generic Programming
    by Alexander A. Stepanov, Daniel E. Rose
    List Price:
    Price:
    You Save:
    US$39.99Addison-Wesley Professional132071890975981BookABIS_BOOK2014-11-17Addison-Wesley Professional2011-09-13Addison-Wesley ProfessionalFrom Mathematics to Generic Programming780USD$7.80
    US$29.03
    US$10.96 (27%)
    Category: Paperback Brand: Example Product Brand
    (2014-11-17)
    Publisher: Addison-Wesley Professional
    ISBN: 0321942043
    Sales Rank: 258144
    Lowest New Price: $25.04
    Lowest Used Price: $18.51 (17 Used Items)
    Canada | United Kingdom | Germany | France | Japan

    Product Description

    In this substantive yet accessible book, pioneering software designer Alexander Stepanov and his colleague Daniel Rose illuminate the principles of generic programming and the mathematical concept of abstraction on which it is based, helping you write code that is both simpler and more powerful.

     

    If you’re a reasonably proficient programmer who can think logically, you have all the background you’ll need. Stepanov and Rose introduce the relevant abstract algebra and number theory with exceptional clarity. They carefully explain the problems mathematicians first needed to solve, and then show how these mathematical solutions translate to generic programming and the creation of more effective and elegant code. To demonstrate the crucial role these mathematical principles play in many modern applications, the authors show how to use these results and generalized algorithms to implement a real-world public-key cryptosystem.

     

    As you read this book, you’ll master the thought processes necessary for effective programming and learn how to generalize narrowly conceived algorithms to widen their usefulness without losing efficiency. You’ll also gain deep insight into the value of mathematics to programming—insight that will prove invaluable no matter what programming languages and paradigms you use.

     

    You will learn about

    • How to generalize a four thousand-year-old algorithm, demonstrating indispensable lessons about clarity and efficiency
    • Ancient paradoxes, beautiful theorems, and the productive tension between continuous and discrete
    • A simple algorithm for finding greatest common divisor (GCD) and modern abstractions that build on it
    • Powerful mathematical approaches to abstraction
    • How abstract algebra provides the idea at the heart of generic programming
    • Axioms, proofs, theories, and models: using mathematical techniques to organize knowledge about your algorithms and data structures
    • Surprising subtleties of simple programming tasks and what you can learn from them
    • How practical implementations can exploit theoretical knowledge

     

    ... Read more

    Similar Items:
    1. Elements of Programming
    2. An Introduction to Functional Programming Through Lambda Calculus (Dover Books on Mathematics)
    3. Coding the Matrix: Linear Algebra through Applications to Computer Science
    4. Effective Modern C++: 42 Specific Ways to Improve Your Use of C++11 and C++14
    5. Discovering Modern C++: An Intensive Course for Scientists, Engineers, and Programmers (C++ In-Depth)
    6. Category Theory for the Sciences (MIT Press)
    7. Purely Functional Data Structures
    8. Language Implementation Patterns: Create Your Own Domain-Specific and General Programming Languages (Pragmatic Programmers)
    9. The C++ Standard Library: A Tutorial and Reference (2nd Edition)
    10. Hacker's Delight (2nd Edition) .


    8. Structure and Interpretation of Computer Programs - 2nd Edition (MIT Electrical Engineering and Computer Science)
    by Harold Abelson, Gerald Jay Sussman
    List Price:
    Price:
    You Save:
    US$55.00The MIT Press16881268742035911BookABIS_BOOK1996-09-01The MIT PressThe MIT PressStructure and Interpretation of Computer Programs - 2nd Edition (MIT Electrical Engineering and Computer Science)2350USD$23.50
    US$50.74
    US$4.26 (8%)
    Category: Paperback Brand: imusti
    (1996-09-01)
    Publisher: The MIT Press
    ISBN: 0262510871
    Sales Rank: 19559
    Lowest New Price: $45.86
    Lowest Used Price: $40.00 (26 Used Items)
    Canada | United Kingdom | Germany | France | Japan

    Product Description

    Structure and Interpretation of Computer Programs has had a dramatic impact on computer science curricula over the past decade. This long-awaited revision contains changes throughout the text. There are new implementations of most of the major programming systems in the book, including the interpreters and compilers, and the authors have incorporated many small changes that reflect their experience teaching the course at MIT since the first edition was published. A new theme has been introduced that emphasizes the central role played by different approaches to dealing with time in computational models: objects with state, concurrent programming, functional programming and lazy evaluation, and nondeterministic programming. There are new example sections on higher-order procedures in graphics and on applications of stream processing in numerical programming, and many new exercises. In addition, all the programs have been reworked to run in any Scheme implementation that adheres to the IEEE standard.

    Amazon.com Review

    Abelson and Sussman's classic Structure and Interpretation of Computer Programs teaches readers how to program by employing the tools of abstraction and modularity. The authors' central philosophy is that programming is the task of breaking large problems into small ones. The book spends a great deal of time considering both this decomposition and the process of knitting the smaller pieces back together.

    The authors employ this philosophy in their writing technique. The text asks the broad question "What is programming?" Having come to the conclusion that programming consists of procedures and data, the authors set off to explore the related questions of "What is data?" and "What is a procedure?"

    The authors build up the simple notion of a procedure to dizzying complexity. The discussion culminates in the description of the code behind the programming language Scheme. The authors finish with examples of how to implement some of the book's concepts on a register machine. Through this journey, the reader not only learns how to program, but also how to think about programming.

    ... Read more

    Features:

    • MIT Press MA

    Similar Items:
    1. The Little Schemer - 4th Edition
    2. Instructor's Manual t/a Structure and Interpretation of Computer Programs - 2nd Edition
    3. The Pragmatic Programmer: From Journeyman to Master
    4. Code Complete: A Practical Handbook of Software Construction, Second Edition
    5. The Seasoned Schemer (MIT Press)
    6. An Introduction to Functional Programming Through Lambda Calculus (Dover Books on Mathematics)
    7. Design Patterns: Elements of Reusable Object-Oriented Software
    8. Purely Functional Data Structures
    9. C Programming Language, 2nd Edition
    10. Code: The Hidden Language of Computer Hardware and Software .


    9. Lambda-calculus, Combinators and Functional Programming (Cambridge Tracts in Theoretical Computer Science)
    by G. E. Revesz
    List Price:
    Price:
    US$62.00
    US$62.00
    Category: Paperback Brand: Brand: Cambridge University Press
    (2009-06-25)
    Publisher: Cambridge University Press
    ISBN: 0521114292
    Sales Rank: 3664030
    Lowest New Price: $57.91
    Lowest Used Price: $46.98 (7 Used Items)
    Canada | United Kingdom | Germany | France | Japan

    Product Description

    Originally published in 1988, this book presents an introduction to lambda-calculus and combinators without getting lost in the details of mathematical aspects of their theory. Lambda-calculus is treated here as a functional language and its relevance to computer science is clearly demonstrated. The main purpose of the book is to provide computer science students and researchers with a firm background in lambda-calculus and combinators and show the applicabillity of these theories to functional programming. The presentation of the material is self-contained. It can be used as a primary text for a course on functional programming. It can also be used as a supplementary text for courses on the structure and implementation of programming languages, theory of computing, or semantics of programming languages.

    ... Read more

    Features:

    • Used Book in Good Condition


    10. An Introduction to Lambda Calculi for Computer Scientists (Texts in Computing)
    by C. Hankin
    List Price:
    Price:
    You Save:
    US$18.50
    US$17.75
    US$0.75 (4%)
    Category: Paperback Brand: Brand: College Publications
    (2004-02-02)
    Publisher: College Publications
    ISBN: 0954300653
    Sales Rank: 170584
    Lowest New Price: $13.09
    Lowest Used Price: $11.85 (9 Used Items)
    Canada | United Kingdom | Germany | France | Japan

    Product Description

    The lambda-calculus lies at the very foundations of computer science. Besides its historical role in computability theory it has had significant influence on programming language design and implementation, denotational semantics, and domain theory. The book emphasises the proof theory for the type-free lambda-calculus. The first six chapters concern this calculus and cover the basic theory, reduction, models, computability, and the relationship between the lambda-calculus and combinatory logic. Chapter 7 presents a variety of typed calculi; first the simply typed lambda-calculus, then Milner-style polymorphism and, finally, the polymorphic lambda-calculus. Chapter 8 concerns two variants of the type-free lambda-calculus that have appeared in the research literature: the lazy lambda-calculus, and the lambda sigma-calculus. The final chapter contains references and a guide to further reading. There are exercises throughout. In contrast to earlier books on these topics, which were written by logicians, this book is written from a computer science perspective and emphasises the practical relevance of many of the key theoretical ideas. The book is intended as a course text for final year undergraduates or first year graduate students in computer science. Research students should find it a useful introduction to more specialist literature.

    ... Read more

    Features:

    • Used Book in Good Condition

    Similar Items:
    1. The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)
    2. Purely Functional Data Structures
    3. Types and Programming Languages (MIT Press)
    4. Lambda-Calculus and Combinators: An Introduction
    5. Exercises for Programmers: 57 Challenges to Develop Your Coding Skills .


    1-10 of 182 Results       Next
  • Arts & Photography
  • Biographies & Memoirs
  • Business & Investing
  • Children's Books
  • Comics & Graphic Novels
  • Computers & Internet
  • Cooking, Food & Wine
  • Engineering
  • Entertainment
  • Gay & Lesbian
  • Health, Mind & Body
  • History
  • Home & Garden
  • Horror
  • Law
  • Literature & Fiction
  • Medicine
  • Mystery & Thrillers
  • Nonfiction
  • Outdoors & Nature
  • Parenting & Families
  • Professional & Technical
  • Reference
  • Religion & Spirituality
  • Romance
  • Science
  • Science Fiction & Fantasy
  • Sports
  • Teens
  • Travel
  • Questions on ordering or shipping? click here for help.

    Copyright © 1998-2007 geometry.net

    contact: info@n2000.com