Articles liés à Lambda Calculus: Its Syntax and Semantics
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.
- ÉditeurElsevier Science Ltd
- Date d'édition1981
- ISBN 10 0444854908
- ISBN 13 9780444854902
- ReliureRelié
- Langueanglais
- Nombre de pages630
Résultats de recherche pour Lambda Calculus: Its Syntax and Semantics
Image d'archives
Lambda Calculus: Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics)
Edité par
Elsevier Science Ltd, 1981
ISBN 10 : 0444854908
ISBN 13 : 9780444854902
Ancien ou d'occasion
Couverture rigide
Vendeur : Anybook.com, Lincoln, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Fair. This book has hardback covers. Ex-library, With usual stamps and markings, In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1050grams, ISBN:0444854908. N° de réf. du vendeur 2834232
Quantité disponible : 1 disponible(s)