The Lambda Calculus. Its Syntax and Semantics

Henk Barendregt

ISBN 10: 184890066X ISBN 13: 9781848900660

Editorial: KINGS COLLEGE PUBN, 2012

Idioma: Ingl�s

Usado Condici�n: Gut Encuadernaci�n de tapa blanda

Guardar para m�s tarde

Vendido por Buchpark, Trebbin, Alemania

Vendedor de AbeBooks desde 30 de septiembre de 2021

Calificaci�n del vendedor: 5 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Usado - Encuadernaci�n de tapa blanda

Condici�n: Gut

Precio: EUR 14,72 Convertir moneda

EUR 14,90 gastos de env�o desde Alemania a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 4 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

Zustand: Gut | Seiten: 656 | Sprache: Englisch | Produktart: B�cher.

N� de ref. del art�culo 22916639/3

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

The Lambda Calculus. Its Syntax and Semantics

Editor

KINGS COLLEGE PUBN

Fecha de publicaci�n

2012

Idioma

Ingl�s

ISBN 10

184890066X

ISBN 13

9781848900660

Encuadernaci�n

Encuadernaci�n de tapa blanda

Estado

Gut

Cat�logos de vendedores

B�cher

Acerca de

Sinopsis

The Lambda Calculus, treated in this book mainly in its untyped version, consists of a collection of expressions, called lambda terms, together with ways how to rewrite and identify these. In the parts conversion, reduction, theories, and models the view is respectively 'algebraic', computational, with more ('coinductive') identifications, and finally set-theoretic. The lambda terms are built up from variables, using application and abstraction. Applying a term F to M has as intention that F is a function, M its argument, and FM the result of the application. This is only the intention: to actually obtain the result one has to rewrite the expression FM according to the reduction rules. Abstraction provides a way to create functions according to the effect when applying them. The power of the theory comes from the fact that computations, both terminating and infinite, can be expressed by lambda terms at a 'comfortable' level of abstraction.

Rese�a del editor

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Seit �ber 30 Jahren handeln wir mit B�chern. Begonnen hat alles als kleiner Fachbuchhandel in Berlin. Heute sind wir spezialisiert auf den An- und Verkauf gebrauchter B�cher. Noch immer liegt unser Fokus dabei auf den Kategorien: Fachbuch und englischsprachige Literatur. Hinzu kommen B�cher aus allen anderen Genres, wie Belletristik, Biografien oder Kinderb�cher. Unser oberstes Ziel ist dabei die Weiterverwendung von Dingen und die Schonung von Ressourcen. Neben dem Ankauf von privaten B�chern oder Haushaltsaufl�sungen kaufen wir bundesweit komplette Bibliotheken und Buchbest�nde von Institutionen auf, um diese nachhaltig ein weiteres Mal auf den Markt zu bringen. Parallel dazu bietet Buchpark die M�glichkeit, gro�e Mengen einzulagern. Ganze Bibliotheken und umfangreiche Buchbest�nde werden von uns professionell auf Qualit�tsmerkmale hin untersucht und sorgf�ltig f�r den Onlinehandel aufbereitet. Wir schenken B�chern ein zweites Leben.

Ver la p�gina web de la librer�a