Lambda Calculus: Its Syntax and Semantics - Couverture rigide

Barendregt, H.P.

 
9780444854902: Lambda Calculus: Its Syntax and Semantics
Couverture rigide
ISBN 10 : 0444854908 ISBN 13 : 9780444854902
Editeur : Elsevier Science Ltd, 1981

Synopsis

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

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Journal of Symbolic Logic

There must have been an exceptional amount of effort to ensure the high quality of text and printing...

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Elsevier Science Ltd
Date d'édition
1981
Langue
anglais
ISBN 10 
0444854908
ISBN 13 
9780444854902
Reliure
Relié
Nombre de pages
630
Coordonnées du fabricant
non disponible
Personne responsable
LSWR Group
b.criscuolo@lswr.it

Via Spadolini, 7
Milano
Italie

Autres éditions populaires du même titre

9780444875082: The Lambda Calculus: Its Syntax and Semantics

Edition présentée

ISBN 10 :  0444875085 ISBN 13 :  9780444875082
Editeur : North Holland, 2014
Couverture souple