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.
"Sinopsis" puede pertenecer a otra edición de este libro.
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 14,95 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envíoLibrería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemania
gebundene Ausgabe. Condición: 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. Nº de ref. del artículo: 2003219
Cantidad disponible: 1 disponibles