Téléchargez le livre : The Lambda Calculus

The Lambda Calculus

Its Syntax and Semantics

de

Éditeur :

North Holland


Paru le : 2013-07-10



eBook Téléchargement ebook sans DRM
106,55 €
Téléchargement immédiat
Dès validation de votre commande
Ajouter à ma liste d'envies
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

badge apple Application Louise Reader
badge Android Application Louise Reader
Description
The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications are given of those parts of the book which can be used to form a coherent course.
Pages
654 pages
Collection
n.c
Parution
2013-07-10
Marque
North Holland
EAN papier
9780444867483
EAN PDF SANS DRM
9780080933757
Informations sur l'ebook
Ce livre est accessible aux handicaps Voir les informations sur l'accessibilité
Prix
106,55 €

Suggestions personnalisées