Lambda calculus and combinators

Rubriek: Textual/Printed/Reference Materials - Boek

Prijs: € 76.07

Rating: 0/5

☆

☆

☆

☆

☆

Verzending:
Uiterlijk 3 december in huis

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.

• 1 Bekijk alle specificaties

Lambda-Calculus, Combinators And Functional Programming

Rating: 0 / 5 | Prijs: € 63.99

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 2 - 3 weken .. MEER INFO

An Invitation to Applied Category Theory

Rating: 0 / 5 | Prijs: € 59.45

Category theory is unmatched in its ability to organize and layer abstractions and to find commonalities between structures of all sorts no longer the exclusive preserve of pure mathematicians it is now proving itself to be a powerful tool in science informatics and industry by facilitating com Uiterlijk 3 december in huis .. MEER INFO

Wittgenstein: Rules, Grammar and Necessity

Rating: 0 / 5 | Prijs: € 58.45

The second edition of wittgenstein rules grammar and necessity the second volume of the landmark analytical commentary on wittgenstein s philosophical investigations now includes extensively revised and supplemented coverage of the wittgenstein s complex and controversial remarks on following ru 2 - 3 weken .. MEER INFO

Taal: en

Bindwijze: Hardcover

Oorspronkelijke releasedatum: 24 juli 2008

Aantal pagina's: 358

Illustraties: Nee

Hoofdauteur: Hindley,J. Roger

Tweede Auteur: Jonathan P. Seldin

Co Auteur: Jonathan P. Seldin

Hoofduitgeverij: Cambridge University Press

Editie: 2

Extra groot lettertype: Nee

Product breedte: 154 mm

Product hoogte: 23 mm

Product lengte: 235 mm

Studieboek: Ja

Verpakking breedte: 154 mm

Verpakking hoogte: 235 mm

Verpakking lengte: 235 mm

Verpakkingsgewicht: 610 g

EAN: 9780521898850

---