Name: Lambda Calculi. A Guide for Computer Scientists (en Inglés)
SKU: 67464277
Price: 293168.00 COP
Availability: InStock
Author: Hankin
ISBN: 9780198538400

portada Lambda Calculi. A Guide for Computer Scientists (en Inglés)

Lambda Calculi. A Guide for Computer Scientists (en Inglés)

Formato

Libro Físico

Editorial

Clarendon Press

Autor

Hankin

Colección

Graduate Texts in Computer Science

Año

1994

Idioma

Inglés

N° páginas

176

Encuadernación

Tapa Blanda

Dimensiones

23.3x15.6x1.3 cm

ISBN13

9780198538400

Lambda Calculi. A Guide for Computer Scientists (en Inglés)

Hankin (Autor) · Clarendon Press · Tapa Blanda

Libro Nuevo Importado

Envío: 16 a 22 días háb.

$ 586.335$ 293.168

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 10 unidades

$ 293.168

¡Envío Gratis! Llega entre el 06 Oct y el 16 Oct a Bogota, Cundinamarca. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Lambda Calculi. A Guide for Computer Scientists (en Inglés)"

Lambda calculus lies at the very foundation of computer science. Besides its historical role in computability theory, it has had significant influence on programming language design. This text, written from a systems perspective, emphasizes the practical relevance of its key theoretical ideas.

This is a textbook for final year undergraduates/first year graduates in computer science, as well as a useful introduction for research students seeking a solid introduction to more specialist literature. This text emphasises the role of calculus in programming language design and implementation, denotational semantics, and domain theory. Alternative books on the subject have been written by logicians, but this is the first to have been written from a computer science prespective, invaluable in emphasising the practical relevance of the key theortical ideas.