Articoli correlati a The Lambda Calculus: Its Syntax and Semantics: Volume...
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
- EditoreElsevier Science Ltd
- Data di pubblicazione1984
- ISBN 10 0444867481
- ISBN 13 9780444867483
- RilegaturaCopertina rigida
- LinguaInglese
- Numero di pagine654
Risultati della ricerca per The Lambda Calculus: Its Syntax and Semantics: Volume...
Immagini fornite dal venditore
The Lambda Calculus: Its Syntax and Semantics STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS
Editore:
Elsevier Science Ltd, 1991
ISBN 10: 0444867481
ISBN 13: 9780444867483
Antico o usato
Rilegato
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Valutazione del venditore 5 su 5 stelle
gebundene Ausgabe. Condizione: Gut. 2. Pr. 621 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); leichte altersbedingte Anbräunung des Papiers; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Einbandkanten sind leicht bestoßen. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 1020. Codice articolo 2003219
Quantità: 1 disponibili