Le calcul lambda avec les types

Avis des lecteurs

Il n'y a actuellement aucun avis de lecteur. La note est basée sur 3 votes.

Titre original :

Lambda Calculus with Types

Contenu du livre :

Ce manuel avec exercices révèle dans les formalismes, jusqu'à présent principalement utilisés pour la conception et la vérification du matériel et des logiciels, une beauté mathématique inattendue. Le lambda calculus constitue un prototype de langage de programmation universel qui, dans sa version non typée, est apparenté à Lisp, et a été traité dans l'ouvrage classique du premier auteur, The Lambda Calculus (1984).

Le formalisme a depuis été étendu avec des types et utilisé dans la programmation fonctionnelle (Haskell, Clean) et les assistants de preuve (Coq, Isabelle, HOL), utilisés dans la conception et la vérification de produits informatiques et de preuves mathématiques. Dans cet ouvrage, les auteurs se concentrent sur trois classes de typage pour les termes lambda : les types simples, les types récursifs et les types d'intersection.

C'est dans ces trois formalismes de termes et de types que se révèle une beauté mathématique inattendue. Le traitement fait autorité et est complet, complété par une bibliographie exhaustive, et de nombreux exercices sont fournis pour approfondir la compréhension des lecteurs et accroître leur confiance dans l'utilisation des types.

Autres informations sur le livre :

• ISBN : 9780521766142
• Auteur : Henk Barendregt
• Éditeur : Cambridge
• Reliure : Relié
• Année de publication : 2013
• Nombre de pages : 856