Artículos relacionados a The Lambda Calculus. Its Syntax and Semantics (Studies...
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 28,22
EUR 5,21 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para The Lambda Calculus. Its Syntax and Semantics (Studies...
Imagen de archivo
The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)
Publicado por
College Publications, 2012
ISBN 10: 184890066X
ISBN 13: 9781848900660
Nuevo
Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9781848900660_new
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
The Lambda Calculus Its Syntax and Semantics Studies in Logic
Impresión bajo demandaLibrería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9781848900660
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
The Lambda Calculus, Its Syntax and Semantics (Studies in Logic) (Volume 40)
Publicado por
College Publications, 2012
ISBN 10: 184890066X
ISBN 13: 9781848900660
Antiguo o usado
Tapa blanda
Librería: Anybook.com, Lincoln, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: Poor. Volume 40. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. Book contains pen markings. In poor condition, suitable as a reading copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1050grams, ISBN:9781848900660. Nº de ref. del artículo: 9195171
Cantidad disponible: 1 disponibles
Imagen de archivo
The Lambda Calculus. Its Syntax and Semantics
Impresión bajo demandaLibrería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9781848900660
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
The Lambda Calculus. Its Syntax and Semantics
Publicado por
KINGS COLLEGE PUBN, 2012
ISBN 10: 184890066X
ISBN 13: 9781848900660
Antiguo o usado
Tapa blanda
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Gut. Zustand: Gut | Seiten: 656 | Sprache: Englisch | Produktart: Bücher. Nº de ref. del artículo: 22916639/3
Cantidad disponible: 4 disponibles
Imagen de archivo
The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)
Publicado por
College Publications, 2012
ISBN 10: 184890066X
ISBN 13: 9781848900660
Nuevo
Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9781848900660
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
The Lambda Calculus. Its Syntax and Semantics
Publicado por
College Publications, GB, 2012
ISBN 10: 184890066X
ISBN 13: 9781848900660
Nuevo
Paperback
Librería: Rarewaves.com UK, London, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Paperback. Condición: New. Nº de ref. del artículo: LU-9781848900660
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)
Publicado por
College Publications 2012-04-30, 2012
ISBN 10: 184890066X
ISBN 13: 9781848900660
Nuevo
Paperback
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. Nº de ref. del artículo: 6666-IUK-9781848900660
Cantidad disponible: 10 disponibles
Imagen de archivo
The Lambda Calculus. Its Syntax and Semantics
Publicado por
College Publications, 2012
ISBN 10: 184890066X
ISBN 13: 9781848900660
Nuevo
Paperback / softback
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 936. Nº de ref. del artículo: C9781848900660
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
The Lambda Calculus. Its Syntax and Semantics
Publicado por
College Publications, 2012
ISBN 10: 184890066X
ISBN 13: 9781848900660
Nuevo
Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 18731839-n
Cantidad disponible: Más de 20 disponibles