Lambda calculus its syntax semantics

Rubriek: Textual/Printed/Reference Materials - Boek

Prijs: € 29.99

Rating: 0/5

☆

☆

☆

☆

☆

Verzending:
2 - 3 weken

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.

• 1 Bekijk alle specificaties

An Introduction to Functional Programming Through Lambda Calculus

Rating: 0 / 5 | Prijs: € 24.99

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

Learn Prolog Now!

Rating: 0 / 5 | Prijs: € 17.9

Prolog is a programming language but a rather unusual one prolog is short for programming with logic and the link with logic gives prolog its special character at the heart of prolog lies a surprising idea don t tell the computer what to do instead describe situations of interest and Uiterlijk 28 november in huis .. MEER INFO

Purely Functional Data Structures

Rating: 0 / 5 | Prijs: € 26.39

Data structures and data structure design techniques for functional languages most books on data structures assume an imperative language like c or c however data structures for these languages do not always translate well to functional languages such as standard ml haskell or scheme this bo Op voorraad. Voor 23:59 uur besteld, vrijdag in huis .. MEER INFO

Taal: en

Bindwijze: Paperback

Oorspronkelijke releasedatum: 30 april 2012

Aantal pagina's: 656

Illustraties: Nee

Hoofdauteur: Henk Barendregt

Hoofduitgeverij: BPOQ

Extra groot lettertype: Nee

Studieboek: Ja

Verpakking breedte: 159 mm

Verpakking hoogte: 44 mm

Verpakking lengte: 235 mm

Verpakkingsgewicht: 1368 g

EAN: 9781848900660

---