Libro: Lambda Calculus With Types (perspectives In Logic)

Descripción

ESTIMADO CLIENTE, UN GUSTO SALUDARLO, AQUÍ LE DEJAMOS UNAS ACLARACIONES CON RESPECTO A ESTA COMPRA:

-LOS LIBROS SON TRAIDOS DEL EXTERIOR YA QUE NO LLEGAN A URUGUAY , LOS MISMOS DEMORAN ENTRE 12 Y 19 DÍAS EN LLEGAR AL PAÍS. La fecha de entrega es la indicada en el momento de efectuar la compra.

-LOS ENVÍOS A DOMICILIO SE REALIZAN A TRAVÉS DE MERCADO ENVÍOS QUEIN ES EL RESPONSABLE DEL ENVIO Y UTILIZA AL CORREO PRIVADO UES . Si son gratuitos aparecerá indicado en la publicación.

-A SU VEZ, SE PUEDEN RETIRAR (SIN CARGO) LOS LIBROS POR NUESTRO PICKUP EN WILSON FERREIRA EX RIO BRANCO Y SAN JOSE . Indicaremos los datos una vez realizada la compra.

AQUÍ ABAJO ENCONTRARÁ TODOS LOS DETALLES DEL LIBRO.
DE TODAS FORMAS, QUEDAMOS A SU DISPOSICIÓN PARA CUALQUIER CONSULTA.

Libro: Lambda Calculus with Types (Perspectives in Logic)

Descripción:
descripción del producto

Este manual con ejercicios revela en los formalismos, hasta ahora utilizados principalmente para hardware y software y verificación, una belleza matemática inesperada. El cálculo lambda forma un prototipo de lenguaje de programación universal, que en su versión sin tipo está relacionado con Lisp, y fue tratado en el primer clásico del autor The Lambda Calculus (1984). Desde entonces, el formalismo se ha ampliado con tipos y se ha utilizado en programación funcional (Haskell, Clean) y asistentes de prueba (Coq, Isabelle, HOL), que se utilizan en la verificación de productos de TI y pruebas matemáticas. En este libro, los autores se centran en tres clases de tipos de términos lambda: tipos simples, tipos recursivos y tipos de intersección. Es en estos tres formalismos de términos y tipos donde se revela la inesperada belleza matemática. El tratamiento es y completo, se complementa con una bibliografía exhaustiva y se proporcionan numerosos ejercicios para profundizar la comprensión de los lectores y aumentar su confianza en el uso de tipos.



- - - - - - - - - - - - - - - - - - - - - - - -

- TODOS NUESTROS PRODUCTOS SON NUEVOS, IMPORTADOS, ORIGINALES Y FISICOS.
- LA FECHA DE ENTREGA ES LA QUE INDICA MERCADOLIBRE EN ESTA PUBLICACION.

- GARANTIA 30 DIAS CORRIDOS DE RECIBIDA LA COMPRA.
- COMPROMETIDOS AL 100% CON EL SERVICIO AL CLIENTE

Garantía del vendedor: 90 días