The Lambda Calculus. Its Syntax and Semantics

Auteur: Henk Barendregt
Langue: Anglais

Voir
Auteur: Henk Barendregt
  • en
  • Broché
  • 9781848900660
  • 30 avril 2012
  • 656 pages
Toutes les spécifications de l'article

Résumé

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.

Spécifications produit

Contenu

Langue
en
Binding
Broché
Date de sortie initiale
30 avril 2012
Nombre de pages
656
Illustrations
Non

Personnes impliquées

Auteur principal
Henk Barendregt
Editeur principal
BPOQ

Autres spécifications

Hauteur de l'emballage
44 mm
Largeur d'emballage
159 mm
Livre d‘étude
Oui
Longueur d'emballage
235 mm
Poids de l'emballage
1368 g
Police de caractères extra large
Non

EAN

EAN
9781848900660

Vous trouverez cet article :

Catégories
Langue
Anglais
Livre, ebook ou livre audio ?
Livre
Disponibilité
Disponible à l'adresse suivante

Commentaires

Pas encore d'avis
Comment vérifions-nous et publions-nous des avis ? Comment vérifions-nous et publions-nous des avis ?

Négatif, positif, neutre ; quel qu'il soit, nous publions chaque avis. Nous vérifions d'abord s'il répond aux conditions et s'il est authentique. Nous vérifions également qu'il ait été écrit par quelqu'un qui a acheté l'article via bol.com. Le cas échéant, nous le mentionnons. Les contrôles sont automatiques, même si des collaborateurs y jettent parfois manuellement un oeil. Bol.com n'offre pas de paiement pour ces avis. Si un évaluateur a reçu une compensation d'un tiers, cette information est indiquée dans l'évaluation elle-même.

Choisissez la version souhaitée

Binding : Broché

Informations sur les prix et commande

Le prix de ce produit est de 43 euros et 99 cents.
2 - 3 semaines
Vendu par bol
Ajouter au panier
  • Livraison comprise avec bol
  • Retrait possible dans un point-relais bol
  • 30 jours de réflexion et retour gratuit
  • Service client 24h/24

D'autres ont aussi regardé

Voir la liste complète

Souvent achetés ensemble

  •
    Categories for the Working Mathematician
    €48,99
    Vendu par bol
  • Types et langages de programmation
    €87,32
    Vendu par bol