{"product_id":"9781848900844","title":"Introdu O Ao C Lculo Lambda","description":"O cálculo lambda é um dos pilares da ciência da computação. Para alémdo seu papel histórico em teoria da computabilidade, teve influênciasignificativa no desenho e implementação de linguagens de programação,em semântica denotacional, e em teoria de domínios. O livro dá ênfaseà teoria da demonstração do cálculo lambda sem tipos. Os primeiroscapítulos concentram-se neste cálculo e abordam a teoria básica,reduções, modelos, computabilidade e o relacionamento entre o cálculolambda e a lógica combinatória. O Capítulo 7 introduz o cálculo lambdacom tipos: primeiro o cálculo lambda simplesmente tipificado, deseguida com o polimorfismo à Milner e, por último, o cálculo lambdapolimórfico. O Capítulo 9 apresenta versões mais recentes do cálculolambda sem tipos: o cálculo lambda preguiçoso e o cálculo lambdasigma. O último capítulo contém referências e um guia para leituraulterior. Os exercícios vão sendo propostos ao longo do livro. Emcontraste com livros anteriores sobre estes tópicos, que foramescritos por lógicos, este livro é escrito do ponto de vista daciência da computação e realça o significado prático de muitas dasideias chave. O livro assume-se como livro de texto para o último anode graduação ou para o primeiro ano de pós-graduação em ciência dacomputação. Os estudantes de investigação poderão usá-lo como umaintrodução à literatura mais especializada da área.","brand":"College Publications","offers":[{"title":"Default Title","offer_id":47062491037936,"sku":"9781848900844","price":18.0,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0737\/7593\/9824\/files\/9781848900844_p0.jpg?v=1763751230","url":"https:\/\/shop-qa.barnesandnoble.com\/products\/9781848900844","provider":"Barnes \u0026 Noble (DEV)","version":"1.0","type":"link"}