{"product_id":"an-introduction-to-lambda-calculi-for-computer-scientists-9780954300654","title":"Una introducción a los cálculos lambda para informáticos","description":"El cálculo lambda se encuentra en los cimientos mismos de la informática. Además de su papel histórico en la teoría de la computabilidad, ha tenido una influencia significativa en el diseño e implementación de lenguajes de programación, la semántica denotacional y la teoría de dominios. El libro enfatiza la teoría de la demostración para el cálculo lambda sin tipos. Los primeros seis capítulos tratan sobre este cálculo y cubren la teoría básica, la reducción, los modelos, la computabilidad y la relación entre el cálculo lambda y la lógica combinatoria. El Capítulo 7 presenta una variedad de cálculos tipados; primero el cálculo lambda simplemente tipado, luego el polimorfismo al estilo Milner y, finalmente, el cálculo lambda polimórfico. El Capítulo 8 trata dos variantes del cálculo lambda sin tipos que han aparecido en la literatura de investigación: el cálculo lambda perezoso y el cálculo lambda sigma. El capítulo final contiene referencias y una guía para lecturas adicionales. Hay ejercicios a lo largo de todo el libro. A diferencia de libros anteriores sobre estos temas, que fueron escritos por lógicos, este libro está escrito desde una perspectiva de la informática y enfatiza la relevancia práctica de muchas de las ideas teóricas clave. El libro está diseñado como texto de curso para estudiantes universitarios de último año o estudiantes de posgrado de primer año en informática. Los estudiantes de investigación deberían encontrarlo una introducción útil a la literatura más especializada.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAutor:\u003c\/b\u003e \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-3338174\"\u003eC. Hankin\u003c\/a\u003e\u003cbr\u003e\u003cb\u003eEditorial:\u003c\/b\u003e College Publications\u003cbr\u003e\u003cb\u003ePublicado:\u003c\/b\u003e 02\/02\/2004\u003cbr\u003e\u003cb\u003ePáginas:\u003c\/b\u003e 180\u003cbr\u003e\u003cb\u003eTipo de encuadernación:\u003c\/b\u003e Tapa blanda\u003cbr\u003e\u003cb\u003ePeso:\u003c\/b\u003e 0.60 libras\u003cbr\u003e\u003cb\u003eTamaño:\u003c\/b\u003e 9.00 alto x 6.00 ancho x 0.41 profundidad\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9780954300654\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 0954300653\u003cbr\u003e\u003cb\u003eCategorías BISAC:\u003c\/b\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-COM\"\u003eInformática\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-COM014000\"\u003eInformática\u003c\/a\u003e\u003cbr\u003e\u003cp\u003e\u003ci\u003eEste título no es retornable\u003c\/i\u003e\u003cbr\u003e\u003c\/p\u003e","brand":"College Publications","offers":[{"title":"Default Title","offer_id":44687428813037,"sku":"9780954300654","price":30.67,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_cf280f6a-8b13-4aa4-b0df-bae412f673e6.jpg?v=1703661822","url":"https:\/\/sureshotbooks.com\/es\/products\/an-introduction-to-lambda-calculi-for-computer-scientists-9780954300654","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}