Lambda Calculus with Types

Langue : anglais

Edité par Cambridge University Press, GB, 2013

0521766141 / 9780521766142

Série : Livre 3 sur 17 - Perspectives in Logic

Vendeur : Rarewaves.com UK, London, Royaume-UniRarewaves.com UK

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 11 juin 2025

Livre relié

Etat: Neuf

EUR 153,58

EUR 76,94 expédition 
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

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.…

N° de réf. du vendeur LU-9780521766142

Titre
Lambda Calculus with Types
Auteur
Henk Barendregt, Wil Dekkers, Richard Statman
Éditeur
Cambridge University Press, GB
Année de publication
2013
État de l'article
New
Reliure
Hardback
Langue
anglais
ISBN à 10 chiffres
0521766141
ISBN à 13 chiffres
9780521766142
Poids de l'article
1 550 grammes
Série
Livre 3 sur 17: Perspectives in Logic

Rarewaves.com UK

London, Royaume-Uni

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 11 juin 2025

Frais d'expédition de Royaume-Uni vers Etats-Unis

Article60 à 60 jours ouvrés60 à 60 jours ouvrés
Premier articleEUR 76,94EUR 118,37
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Profil professionnel du vendeur

RAREWAVES.COM LIMITED

Elsley Court, 20-22 Great Titchfield Street
London, Royaume-Uni W1W 8BE